Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes

vastutusandmed
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Walden
allikas
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 186-202
seeria-sari
Lecture notes in computer science ; 12071
seeria variantpealkiri
Theoretical computer science and general issues ; 12071
konverentsi nimetus, aeg
Rigorous State-Based Methods 7th International Conference, ABZ 2020, May 27-29, 2020
konverentsi toimumispaik
Ulm, Germany
võtmesõna
ISSN
0302-9743
ISBN
978-3-030-48076-9
märkused
Bibliogr.: 13 ref
TTÜ struktuuriüksus
keel
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).