full record print

Provably correct aspect-oriented modeling with UPPAAL timed automata

author
statement of authorship
Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
source
publisher
year of publication
pages
p. 447-476
series
url
ISBN
978-0-323-90240-3
notes
Chapter 25 - Provably correct aspect-oriented modeling with UPPAAL timed automata
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Scopus
Scopus
classifier
3.1
Reserch Group
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory
Vain, J., Tsiopoulos, L., Kanter, G. Provably correct aspect-oriented modeling with UPPAAL timed automata // System assurances : modeling and management. : Elsevier, 2022. p. 447-476. (Emerging methodologies and applications in modelling, identification and control). https://doi.org/10.1016/B978-0-323-90240-3.00025-4