| Type |  Book |
| ชื่อเรื่อง | Forms/Format 2010 [electronic resource] : formal methods for automation and safety in railway and automotive systems / Eckehard Schnieder, Geza Tarnai, Editors |
| ISBN | 3642142613 (electronic bk.) |
| | 9783642142604 |
| | 9783642142611 (electronic bk.) |
| พิมพลักษณ์ | Berlin ;Heidelberg ;New York : Springer, [2011] |
| รูปเล่ม | 1 online resource (xi, 256 pages) |
| ลิงค์ | Connect to resource |
| หัวเรื่อง | Formal methods (Computer science) --Congresses [] |
| | System safety --Congresses [] |
| | Transportation --Safety measures [] |