Tool Platforms for Embedded Modeling, Analysis and Validation CAV

  • Michael Rygaard Hansen (Foredragsholder)

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

Beskrivelse

The CAV conference is dedicated to the theory and practice of computer aided formal analysis methods for hardware and software systems. It has traditionally drawn contributions from researchers as well as practitioners in both academia and industry.
Periode1 jul. 2007
BegivenhedstitelComputer Aided Verification Conference
BegivenhedstypeKonference
ArrangørARTIST2
PlaceringBerlin, TysklandVis på kort