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

vastutusandmed
Jüri Vain, Leonidas Tsiopoulos, and Jishu Guin
allikas
2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings
ilmumiskoht
Los Alamitos
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 126-134 : ill
konverentsi nimetus, aeg
21st International Conference on Engineering of Complex Computer Systems, 6-8 November, 2016
konverentsi toimumispaik
Dubai, United Arab Emirates
võtmesõna
model-based development
component-based design
assume-guarantee paradigm
ISBN
978-1-5090-5526-5
märkused
Bibliogr.: 26 ref
TTÜ struktuuriüksus
keel
inglise
Vain, J., Tsiopoulos, L., Guin, J. Developing multi-view Contracts using Event-B and Uppaal Timed Automata // 2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings. Los Alamitos : IEEE Computer Society, 2016. p. 126-134 : ill. https://doi.org/10.1109/ICECCS.2016.024