Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes
statement of authorship
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Walden
source
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 186-202
series
Lecture notes in computer science ; 12071
series variant title
Theoretical computer science and general issues ; 12071
conference name, date
Rigorous State-Based Methods 7th International Conference, ABZ 2020, May 27-29, 2020
conference location
Ulm, Germany
subject term
kvartiil
category (general)
keyword
iUML-B
trigger-response patterns
ISSN
0302-9743
ISBN
978-3-030-48076-9
notes
Bibliogr.: 13 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Shokri-Manninen, F., Tsiopoulos, L., Vain, J., Walden, M. Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes // Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings. Cham : Springer International Publishing AG, 2020. p. 186-202. (Lecture notes in computer science ; 12071).