Provably correct aspect-oriented modeling with UPPAAL timed automata
autor
Vain, Jüri
Tsiopoulos, Leonidas
Kanter, Gerd
vastutusandmed
Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
allikas
System assurances : modeling and management
kirjastus/väljaandja
Elsevier
ilmumisaasta
2022
leheküljed
p. 447-476
seeria-sari
Emerging methodologies and applications in modelling, identification and control
leitav
https://doi.org/10.1016/B978-0-323-90240-3.00025-4
märksõna
tarkvara projekteerimine
tarkvaratehnika
andmeanalüüs
modelleerimine (teadus)
Scopus
Scopus
võtmesõna
aspect-oriented modeling
UPPAAL timed automata
design aspects
model checking
aspect weaving correctness
ISBN
978-0-323-90240-3
märkused
Chapter 25 - Provably correct aspect-oriented modeling with UPPAAL timed automata
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Küberkriminalistika ja küberjulgeoleku keskus
Merenduse küberjulgeoleku keskus
Tugevalt tagatud tarkvara laboratoorium