Formal Techniques for Safety-Critical Systems
-15%
portes grátis
Formal Techniques for Safety-Critical Systems
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
OElveczky, Peter Csaba; Artho, Cyrille
Springer International Publishing AG
02/2016
271
Mole
Inglês
9783319295091
15 a 20 dias
4336
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Automata theory;Automotive systems;Certification;Fault tolerance;Formal languages;Formal methods;Industrial applications;Model checking;Modeling;Railway systems;Safety critical systems;Semi-formal methods;Software analysis;Software engineering;Software system models;Software verification;Timed systems
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Automata theory;Automotive systems;Certification;Fault tolerance;Formal languages;Formal methods;Industrial applications;Model checking;Modeling;Railway systems;Safety critical systems;Semi-formal methods;Software analysis;Software engineering;Software system models;Software verification;Timed systems
