Model-Based Verification of Real-Time Software for Automatic Logistic Systems

Christian Kreiner, Christian Steger, Reinhold Weiß

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationEUROSIM 98 - European Simulation Congress
Place of PublicationHelsinki
PublisherVTT
Pages560-564
Publication statusPublished - 1998
EventEUROSIM Congress on Modelling and Simulation - Helsinki, Finland
Duration: 14 Apr 199815 Apr 1998

Conference

ConferenceEUROSIM Congress on Modelling and Simulation
CountryFinland
CityHelsinki
Period14/04/9815/04/98

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this

Kreiner, C., Steger, C., & Weiß, R. (1998). Model-Based Verification of Real-Time Software for Automatic Logistic Systems. In EUROSIM 98 - European Simulation Congress (pp. 560-564). Helsinki: VTT.