|
|
Вид документа : Однотомное издание
Шифр издания :
Заглавие : FORMS/FORMAT 2010 [Electronic resource]
: formal methods for automation and safety in railway and automotive systems
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
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)
|
|