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 title18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: IEA/AIE 2005
Event typeConference
LocationBari, ItalyShow on map