Record:   Prev Next
Title FORMS/FORMAT 2010 [electronic resource] : formal methods for automation and safety in railway and automotive systems / edited by Eckehard Schnieder, Geza Tarnai
Imprint Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
book jacket
Record:   Prev Next