ATACCS '2013 : 3rd International Conference on Application and Theory of Automation in Command and Control Systems : May 28-30 2013, Naples, Italy |
Autore | Moccia Antonio |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
Descrizione fisica | 1 online resource (160 pages) |
Collana | ACM Other conferences |
Soggetto topico |
Mechanical Engineering
Engineering & Applied Sciences Mechanical Engineering - General |
ISBN | 1-4503-2249-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Application and Theory of Automation in Command and Control System '2013
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems ATACCS '13 International Conference on Application and Theory of Automation in Command and Control Systems, Naples, Italy - May 28 - 30, 2013 |
Record Nr. | UNINA-9910375704903321 |
Moccia Antonio | ||
[Place of publication not identified], : ACM, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
NASA Formal Methods [[electronic resource] ] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / / edited by Guillaume Brat, Neha Rungta, Arnaud Venet |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXIV, 486 p. 164 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Computer programming Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques |
ISBN | 3-642-38088-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic execution -- Requirements and specifications -- Probabilistic and statistical analysis.- Theorem proving. |
Record Nr. | UNISA-996466173803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
NASA Formal Methods [[electronic resource] ] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / / edited by Guillaume Brat, Neha Rungta, Arnaud Venet |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXIV, 486 p. 164 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Computer programming Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques |
ISBN | 3-642-38088-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic execution -- Requirements and specifications -- Probabilistic and statistical analysis.- Theorem proving. |
Record Nr. | UNINA-9910741159603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|