Modelling critical systems with timing constraints in Event-B [Electronic resource]
author
Siavashi, Faezeh
Waldén, Marina
Tsiopoulos, Leonidas
Vain, Jüri
statement of authorship
Faezeh Siavashi, Marina Waldén, Leonidas Tsiopoulos and Jüri Vain
source
25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts
location of publication
Tallinn
publisher
[Tallinna Tehnikaülikooli] Küberneetika Instituut
year of publication
2013
pages
p. 70-72 : ill [USB]
conference name, date
25th Nordic Workshop on Programming Theory NWPT 2013, 20-22 November, 2013
conference location
Tallinn
subject term
programmeerimine
taimerid
ISBN
978-9949-430-70-3
notes
Bibliogr.: 8 ref
TTÜ department
arvutiteaduse instituut
language
inglise