print

Provably correct aspect-oriented modeling with UPPAAL timed automata

author
Vain, Jüri
Tsiopoulos, Leonidas
Kanter, Gerd
statement of authorship
Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
source
System assurances : modeling and management
publisher
Elsevier Inc.
year of publication
2022
pages
p. 447-476
series
Emerging methodologies and applications in modelling, identification and control
url
https://doi.org/10.1016/B978-0-323-90240-3.00025-4
subject term
tarkvara projekteerimine
tarkvaratehnika
andmeanalüüs
modelleerimine (teadus)
Scopus
Scopus
keyword
aspect-oriented modeling
UPPAAL timed automata
design aspects
model checking
aspect weaving correctness
ISBN
978-0-323-90240-3
notes
Chapter 25 - Provably correct aspect-oriented modeling with UPPAAL timed automata
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
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 Inc., 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