Developing multi-view Contracts using Event-B and Uppaal Timed Automata
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
year of publication
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
ISBN
978-1-5090-5526-5
notes
Bibliogr.: 26 ref
TTÜ department
language
inglise
subject term
keyword
model-based development
component-based design
assume-guarantee paradigm
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.