FORMS/FORMAT 2010 [Electronic resource] : formal methods for automation and safety in railway and automotive systems / eds. E. Schnieder, G. Tarnai. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - ISBN 978-3-642-14261-1 : Б. ц. Рубрики: Engineering    Computer simulation    Physics    System safety    Engineering    Quality control, reliability, safety and risk    Automotive engineering    Simulation and modeling    Complexity См. : Текст издания Доп.точки доступа: Schnieder, E. \ed.\; SpringerLink (Online service) Свободных экз. нет