print

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

author
Vain, Jüri
Tsiopoulos, Leonidas
Guin, Jishu
statement of authorship
Jüri Vain, Leonidas Tsiopoulos, and Jishu Guin
source
2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings
location of publication
Los Alamitos
publisher
IEEE Computer Society
year of publication
2016
pages
p. 126-134 : ill
conference name, date
21st International Conference on Engineering of Complex Computer Systems, 6-8 November, 2016
conference location
Dubai, United Arab Emirates
url
https://doi.org/10.1109/ICECCS.2016.024
subject term
manussüsteemid
küberfüüsikalised süsteemid
keyword
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
notes
Bibliogr.: 26 ref
TTÜ department
arvutiteaduse instituut
language
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