prindi

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 Inc.
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überturvalisuse keskus
Tugevalt tagatud tarkvara laboratoorium
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