International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

Andreas Griesmayer (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Formal verification of control software: A case study
Zeitraum24 Jun 2005
VeranstaltungstypKonferenz
OrtBari, Italien