FORMS/FORMAT 2010 : formal methods for automation and safety in railway and automotive systems

Author：edited by Eckehard Schnieder, Geza Tarnai.
Publisher：Springer-Verlag Berlin Heidelberg
ISBN：9783642142611 (electronic bk.) ; 9783642142604 (paper)
Publication Date：2011
其他作者：Schnieder, Eckehard. ; Tarnai, Geza.
語言：zh
出版地：Berlin, Heidelberg :
Description
xi, 256 p. ::ill., digital ;:24 cm.
Search Same Author