MOVES: a Tool for Modeling and Verification of Embedded Systems

Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed