Developing multi-view contracts using Event-B and Uppaal Timed Automata

Vain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu (2016). Developing multi-view contracts using Event-B and Uppaal Timed Automata. 2016 21st International Conference on Engineering of Complex Computer Systems, ICECCS : Dubai, United Arab Emirates, 6-8 November 2016, Proceedings. Ed. Wang, H.; Mokhtari, M. Piscataway, NJ: IEEE Computer Society, 126−134.10.1109/ICECCS.2016.024.
publitseeritud konverentsiettekanne
Vain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu
  • Inglise
2016 21st International Conference on Engineering of Complex Computer Systems, ICECCS : Dubai, United Arab Emirates, 6-8 November 2016, Proceedings
Wang, H.; Mokhtari, M.
Piscataway, NJ
IEEE Computer Society
978-1-5090-5527-2
2016
126134
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

dx.doi.org/10.1109/ICECCS.2016.024

Lisainfo

Design-by-Contract; Event-B; Uppaal Timed Automata; model-based development; component-based design; assume-guarantee paradigm; formal methods
Conference Proceedings Citation Index- Science (CPCI-S); Scopus; IEEEXplore; INSPEC (AN=16615481)