prindi

Modelling critical systems with timing constraints in Event-B [Electronic resource]

autor
Siavashi, Faezeh
Waldén, Marina
Tsiopoulos, Leonidas
Vain, Jüri
vastutusandmed
Faezeh Siavashi, Marina Waldén, Leonidas Tsiopoulos and Jüri Vain
allikas
25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts
ilmumiskoht
Tallinn
kirjastus/väljaandja
[Tallinna Tehnikaülikooli] Küberneetika Instituut
ilmumisaasta
2013
leheküljed
p. 70-72 : ill [USB]
konverentsi nimetus, aeg
25th Nordic Workshop on Programming Theory NWPT 2013, 20-22 November, 2013
konverentsi toimumispaik
Tallinn
märksõna
programmeerimine
taimerid
ISBN
978-9949-430-70-3
märkused
Bibliogr.: 8 ref
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise
Siavashi, F., Waldén, M., Tsiopoulos, L., Vain, J. Modelling critical systems with timing constraints in Event-B [Electronic resource] // 25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts. Tallinn : [Tallinna Tehnikaülikooli] Küberneetika Instituut, 2013. p. 70-72 : ill [USB].