EUROSIM 98 - European Simulation Congress

Christian Josef Kreiner (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Model-Based Verification of Real-Time Software for Automatic Logistic Systems
Period15 Apr 1998
Held atEUROSIM 98 - European Simulation Congress
Event typeConference