Roman Slovák

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

1 Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder: Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. SoftSpez Final Report 2004: 96-118

	2004
1		Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder: Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. SoftSpez Final Report 2004: 96-118

Coauthor Index