Join us now to get access to all our features. Once registered and logged in, you will be able to create topics, post replies to existing threads, give reputation to your fellow members, get your own private messenger, and so, so much more. It's also quick and totally free, so what are you waiting for?
Free Download Eckehard Schnieder, Geza Tarnai, "FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems"
English | 2011 | pages: 249 | ISBN: 3642142605, 3642427162 | PDF | 4,9 mb
Complexity in automation- and safety systems in railway as well as automotive...