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 |