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

  • Andreas Griesmayer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Formal verification of control software: A case study
Zeitraum24 Juni 2005
EreignistitelInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
VeranstaltungstypKonferenz
OrtBari, ItalienAuf Karte anzeigen