Formal Methods [[electronic resource] ] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal Methods [[electronic resource] ] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Edizione: | 1st ed. 2018. |
| Descrizione fisica: | 1 online resource (XIV, 692 p. 131 illus.) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Software engineering |
| Programming languages (Electronic computers) | |
| Computers | |
| Artificial intelligence | |
| Computer simulation | |
| Computer system failures | |
| Software Engineering | |
| Programming Languages, Compilers, Interpreters | |
| Theory of Computation | |
| Artificial Intelligence | |
| Simulation and Modeling | |
| System Performance and Evaluation | |
| Persona (resp. second.): | HavelundKlaus |
| PeleskaJan | |
| RoscoeBill | |
| de VinkErik | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations. |
| Titolo autorizzato: | Formal methods |
| ISBN: | 3-319-95582-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910349420403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 10951