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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	EUROSIM 98 - European Simulation Congress
Place of Publication	Helsinki
Publisher	VTT
Pages	560-564
Publication status	Published - 1998
Event	EUROSIM Congress on Modelling and Simulation - Helsinki, Finland Duration: 14 Apr 1998 → 15 Apr 1998

Conference	EUROSIM Congress on Modelling and Simulation
Country/Territory	Finland
City	Helsinki
Period	14/04/98 → 15/04/98

Treatment code (Nähere Zuordnung)

@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",

note = "EUROSIM Congress on Modelling and Simulation ; Conference date: 14-04-1998 Through 15-04-1998",

}

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 paper

SP - 560

EP - 564

BT - EUROSIM 98 - European Simulation Congress

PB - VTT

CY - Helsinki

T2 - EUROSIM Congress on Modelling and Simulation

Y2 - 14 April 1998 through 15 April 1998

ER -