Formal Techniques for Safety-Critical Systems [[electronic resource] ] : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / / edited by Osman Hasan, Frédéric Mallet
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal Techniques for Safety-Critical Systems [[electronic resource] ] : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / / edited by Osman Hasan, Frédéric Mallet
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Edizione: | 1st ed. 2020. |
| Descrizione fisica: | 1 online resource (145 pages) |
| Disciplina: | 004 |
| Soggetto topico: | Computers |
| Computer communication systems | |
| Artificial intelligence | |
| Computer logic | |
| Special purpose computers | |
| Microprogramming | |
| Computer simulation | |
| Theory of Computation | |
| Computer Communication Networks | |
| Logic in AI | |
| Special Purpose and Application-Based Systems | |
| Control Structures and Microprogramming | |
| Simulation and Modeling | |
| Persona (resp. second.): | HasanOsman |
| MalletFrédéric | |
| Nota di contenuto: | Invited paper -- Avionics and Spacecraft -- Applications -- Tools and Work in Progress. . |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models. |
| Titolo autorizzato: | Formal Techniques for Safety-Critical Systems |
| ISBN: | 3-030-46902-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465464303316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Communications in Computer and Information Science, . 1865-0929 ; ; 1165