Compositional verification of real-time systems using Ecdar

A. David, K.G. Larsen, M.H. Møller, Ulrik Nyman, A.P. Ravn, A. Skou, A. Legay, A. Wasowski

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

18 Citationer (Scopus)

530 Downloads (Pure)

Sorter
Vægt
Alfabetisk

Computer Science

Engineering