Modelling critical systems with timing constraints in Event-B

Siavashi, Faezeh; Waldén, Marina; Tsiopoulos, Leonidas; Vain, Jüri (2013). Modelling critical systems with timing constraints in Event-B. 25th Nordic Workshop on Programming Theory, NWPT 2013 : Tallinn, Estonia, 20-22 November 2013, Abstracts. Ed. Uustalu, Tarmo; Vain, Jüri. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 70−72.
publitseeritud konverentsiettekanne
Siavashi, Faezeh; Waldén, Marina; Tsiopoulos, Leonidas; Vain, Jüri
  • Inglise
25th Nordic Workshop on Programming Theory, NWPT 2013 : Tallinn, Estonia, 20-22 November 2013, Abstracts
Uustalu, Tarmo; Vain, Jüri
Tallinn
Institute of Cybernetics at Tallinn University of Technology
978-9949-430-70-3
2013
7072
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1

Viited terviktekstile