MOVES: a Tool for Modeling and Verification of Embedded Systems

Larsen, K. G. (Foredragsholder)

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

Periode12 mar. 2007
BegivenhedstitelMOVES
BegivenhedstypeKonference
PlaceringSønderborg, Danmark