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

Andreas Griesmayer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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