Cargando…

Formal Synthesis of Safety Controller Code for Distributed Controllers.

Annotation

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Missal, Dirk
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin : Logos Verlag Berlin, 2012.
Colección:Hallenser Schriften Zur Automatisierungstechnik Ser.
Temas:
Acceso en línea:Texto completo
Descripción
Sumario:Annotation
Descripción Física:1 online resource (156 pages)
ISBN:9783832599744
3832599746
3832531475
9783832531478