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

  • Andreas Griesmayer (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Formal verification of control software: A case study
Period24 Jun 2005
Event titleInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
Event typeConference
LocationBari, ItalyShow on map