Formal synthesis of safety controller code for distributed controllers / / by Dirk Missal |
Autore | Missal Dirk |
Pubbl/distr/stampa | Berlin : , : Logos Verlag, , [2012] |
Descrizione fisica | 1 online resource (156 pages) |
Disciplina | 670.4275 |
Soggetto topico | Automatic control - Standards |
Soggetto genere / forma | Electronic books. |
ISBN | 3-8325-9974-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910467069403321 |
Missal Dirk
![]() |
||
Berlin : , : Logos Verlag, , [2012] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal synthesis of safety controller code for distributed controllers / / by Dirk Missal |
Autore | Missal Dirk |
Pubbl/distr/stampa | Berlin : , : Logos Verlag, , [2012] |
Descrizione fisica | 1 online resource (156 pages) |
Disciplina | 670.4275 |
Collana | Hallenser Schriften zur Automatisierungstechnik |
Soggetto topico | Automatic control - Standards |
ISBN | 3-8325-9974-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910795570403321 |
Missal Dirk
![]() |
||
Berlin : , : Logos Verlag, , [2012] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal synthesis of safety controller code for distributed controllers / / by Dirk Missal |
Autore | Missal Dirk |
Pubbl/distr/stampa | Berlin : , : Logos Verlag, , [2012] |
Descrizione fisica | 1 online resource (156 pages) |
Disciplina | 670.4275 |
Collana | Hallenser Schriften zur Automatisierungstechnik |
Soggetto topico | Automatic control - Standards |
ISBN | 3-8325-9974-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910820072403321 |
Missal Dirk
![]() |
||
Berlin : , : Logos Verlag, , [2012] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
IEEE Std 758-1979 : IEEE Standard Subroutines for Computer Automated Measurement and Control / / IEEE |
Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1979 |
Descrizione fisica | 1 online resource |
Disciplina | 629.8 |
Soggetto topico |
Automatic control - Standards
Computer interfaces - Standards Interactive computer systems - Standards |
ISBN | 0-7381-0714-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
758-1979 - IEEE Standard Subroutines for Computer Automated Measurement and Control
IEEE Std 758-1979: IEEE Standard Subroutines for CAMAC |
Record Nr. | UNINA-9910135500003321 |
[Place of publication not identified] : , : IEEE, , 1979 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
IEEE Std 758-1979 : IEEE Standard Subroutines for Computer Automated Measurement and Control / / IEEE |
Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1979 |
Descrizione fisica | 1 online resource |
Disciplina | 629.8 |
Soggetto topico |
Automatic control - Standards
Computer interfaces - Standards Interactive computer systems - Standards |
ISBN | 0-7381-0714-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
758-1979 - IEEE Standard Subroutines for Computer Automated Measurement and Control
IEEE Std 758-1979: IEEE Standard Subroutines for CAMAC |
Record Nr. | UNISA-996280411503316 |
[Place of publication not identified] : , : IEEE, , 1979 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|