Formal synthesis of safety controller code for distributed controllers / / by Dirk Missal

• Record Nr.: UNINA9910467069403321
• Autore: Missal Dirk
• Pubbl/distr/stampa: Berlin : , : Logos Verlag, , [2012]; ©2012
• ISBN: 3-8325-9974-6
• Descrizione fisica: 1 online resource (156 pages)
• Disciplina: 670.4275
• Soggetti: Automatic control - Standards; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia