FORMS/FORMAT 2010 electronic resource : Formal Methods for Automation and Safety in Railway and Automotive Systems / edited by Eckehard Schnieder, Geza Tarnai

Författare: Germany) 2010 : (8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems Braunschweig
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat