Modelling Critical Systems With Time Constraints in Event-B

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

AlkuperäiskieliEnglanti
Otsikko25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts
ToimittajatTarmo Uustalu, Jüri Vain
JulkaisupaikkaTallinn, Estonia
KustantajaDepartment of Computer Science, Tallinn University of Technology
Sivut70-72
ISBN (elektroninen)978-9949-430-70-3
TilaJulkaistu - 2013
OKM-julkaisutyyppiO2 Other
Tapahtuma25th Nordic Workshop on Programming Theory - Tallinn, Estonia
Kesto: 20 marrask. 201322 marrask. 2013
Konferenssinumero: 25
http://cs.ioc.ee/nwpt13/index.php?page=home

Työpaja

Työpaja25th Nordic Workshop on Programming Theory
LyhennettäNWPT 2013
Maa/AlueEstonia
KaupunkiTallinn
Ajanjakso20/11/1322/11/13
www-osoite

Viittausmuodot