A Practical Application of UPPAAL and DTRON for Runtime Verification

Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

3 Citeringar (Scopus)
20 Nedladdningar (Pure)

Sökresultat