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 contributionResearchpeer-review

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.

Model-Based Verification of Real-Time Software for Automatic Logistic Systems. / Kreiner, Christian; Steger, Christian; Weiß, Reinhold.

EUROSIM 98 - European Simulation Congress. Helsinki : VTT, 1998. p. 560-564.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Kreiner, C, Steger, C & Weiß, R 1998, Model-Based Verification of Real-Time Software for Automatic Logistic Systems. in EUROSIM 98 - European Simulation Congress. VTT, Helsinki, pp. 560-564, EUROSIM Congress on Modelling and Simulation, Helsinki, Finland, 14/04/98.
Kreiner C, Steger C, Weiß R. Model-Based Verification of Real-Time Software for Automatic Logistic Systems. In EUROSIM 98 - European Simulation Congress. Helsinki: VTT. 1998. p. 560-564
Kreiner, Christian ; Steger, Christian ; Weiß, Reinhold. / Model-Based Verification of Real-Time Software for Automatic Logistic Systems. EUROSIM 98 - European Simulation Congress. Helsinki : VTT, 1998. pp. 560-564
@inproceedings{5a3c306a6f28439cbdf7ce07abafde85,
title = "Model-Based Verification of Real-Time Software for Automatic Logistic Systems",
author = "Christian Kreiner and Christian Steger and Reinhold Wei{\ss}",
year = "1998",
language = "English",
pages = "560--564",
booktitle = "EUROSIM 98 - European Simulation Congress",
publisher = "VTT",

}

TY - GEN

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

AU - Kreiner, Christian

AU - Steger, Christian

AU - Weiß, Reinhold

PY - 1998

Y1 - 1998

M3 - Conference contribution

SP - 560

EP - 564

BT - EUROSIM 98 - European Simulation Congress

PB - VTT

CY - Helsinki

ER -