Vai al contenuto principale della pagina
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 |