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
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
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory