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:
Automatic control > Standards.
Commande automatique > Normes.
Automatic control > Standards
Acceso en línea:Texto completo

Ejemplares similares

Ejemplares similares