prindi

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

autor
Vain, Jüri
Tsiopoulos, Leonidas
Guin, Jishu
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
IEEE Computer Society
ilmumisaasta
2016
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
leitav
https://doi.org/10.1109/ICECCS.2016.024
märksõna
manussüsteemid
küberfüüsikalised süsteemid
võtmesõna
Design-by-Contract
Event-B
Uppaal Timed Automata
model-based development
component-based design
assume-guarantee paradigm
formal methods
ISBN
978-1-5090-5526-5
märkused
Bibliogr.: 26 ref
TTÜ struktuuriüksus
arvutiteaduse instituut
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