Vain, J., Tsiopoulos, L., Kanter, G.

täiskirje 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

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

ISBN

978-0-323-90240-3

märkused

Chapter 25 - Provably correct aspect-oriented modeling with UPPAAL timed automata

teaduspublikatsioon

TTÜ struktuuriüksus

tarkvarateaduse instituut

keel

inglise

Märksõnad ja võtmesõnad

märksõna

tarkvara projekteerimine

tarkvaratehnika

andmeanalüüs

modelleerimine (teadus)

võtmesõna

aspect-oriented modeling

UPPAAL timed automata

design aspects

model checking

aspect weaving correctness

Teaduspublikatsiooni meetrika

Scopus

klassifikaator

3.1

Uurimisrühm

Küberkriminalistika ja küberjulgeoleku keskus

Merenduse küberjulgeoleku 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, 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