Parametric Verification of Weighted Systems

Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Iulian Mardare

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

11 Citationer (Scopus)

91 Downloads (Pure)

1 resultater
- Titel
- Startdato(stigende)

Filter

2nd International Workshop on Synthesis of Complex Parameters
Mikkel Hansen (Oplægsholder)
11 apr. 2015
Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg