full record print

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

author
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
url
ISSN
0302-9743
ISBN
978-3-030-48076-9
notes
Bibliogr.: 13 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory
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, 2020. p. 186-202. (Lecture notes in computer science ; 12071). https://doi.org/10.1007/978-3-030-48077-6_13