Modelling Critical Systems With Time Constraints in Event-B

Faezeh Siavashi, Marina Waldén, Leonidas Tsiopoulos, Jüri Vain

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Original languageEnglish
Title of host publication25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts
EditorsTarmo Uustalu, Jüri Vain
Place of PublicationTallinn, Estonia
PublisherDepartment of Computer Science, Tallinn University of Technology
Pages70-72
ISBN (Electronic)978-9949-430-70-3
Publication statusPublished - 2013
MoE publication typeO2 Other
Event25th Nordic Workshop on Programming Theory - Tallinn, Estonia
Duration: 20 Nov 201322 Nov 2013
Conference number: 25
http://cs.ioc.ee/nwpt13/index.php?page=home

Workshop

Workshop25th Nordic Workshop on Programming Theory
Abbreviated titleNWPT 2013
Country/TerritoryEstonia
CityTallinn
Period20/11/1322/11/13
Internet address

Cite this