Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / / edited by David N. Jansen, Pavithra Prabhakar |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 289 p. 59 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Machine theory Software engineering Computer simulation Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Computer Modelling Artificial Intelligence |
ISBN | 3-030-00151-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
Record Nr. | UNISA-996466364103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / / edited by David N. Jansen, Pavithra Prabhakar |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 289 p. 59 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Machine theory Software engineering Computer simulation Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Computer Modelling Artificial Intelligence |
ISBN | 3-030-00151-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
Record Nr. | UNINA-9910349408003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Numerical Software Verification [[electronic resource] ] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / / edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (VII, 107 p. 21 illus.) |
Disciplina | 004.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer networks Machine theory Application software Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Communication Networks Formal Languages and Automata Theory Computer and Information Systems Applications Artificial Intelligence |
ISBN | 3-319-54292-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). |
Record Nr. | UNISA-996466082203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / / edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (VII, 107 p. 21 illus.) |
Disciplina | 004.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer networks Machine theory Application software Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Communication Networks Formal Languages and Automata Theory Computer and Information Systems Applications Artificial Intelligence |
ISBN | 3-319-54292-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). |
Record Nr. | UNINA-9910483345603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 22nd ACM International Conference on Hybrid Systems : Computation and Control / / Necmiye Ozay, Pavithra Prabhakar |
Autore | Ozay Necmiye |
Pubbl/distr/stampa | New York : , : ACM, , 2019 |
Descrizione fisica | 1 online resource (296 pages) : illustrations |
Disciplina | 004.19 |
Collana | ACM Conferences |
Soggetto topico | Hybrid computers |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Proceedings of the 22nd ACM International Conference on Hybrid Systems |
Record Nr. | UNINA-9910375781703321 |
Ozay Necmiye
![]() |
||
New York : , : ACM, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|