Modelling Critical Systems with Time Constraints in Event-B

Faezeh Siavashi, Marina Walden, Leonidas Tsiopoulos, Vain Jüri

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Original languageEnglish
Title of host publicationProceedings of the 25th Nordic Workshop on Programming Theory
EditorsTarmo Uustalu, Jüri Vain
Place of PublicationTallinn, Estonia
PublisherDepartment of Computer Science, Tallinn University of Technology
ISBN (Electronic)ISBN 978-9949-430-70-3
Publication statusPublished - 2013
MoE publication typeB3 Non-refereed article in conference proceedings
Event25th Nordic Workshop on Programming Theory - Tallinn, Estonia
Duration: 20 Nov 201322 Nov 2013
Conference number: 25


Workshop25th Nordic Workshop on Programming Theory
Abbreviated titleNWPT 2013
Internet address

Cite this