Formal Synthesis of Safety Controller Code for Distributed Controllers.
Annotation
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
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 |
Sumario: | Annotation |
---|---|
Descripción Física: | 1 online resource (156 pages) |
ISBN: | 9783832599744 3832599746 3832531475 9783832531478 |