Formal Methods for Industrial Critical Systems
portes grátis
Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Haxthausen, Anne E.; Serwe, Wendelin
Springer International Publishing AG
08/2024
260
Mole
9783031681493
15 a 20 dias
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.
Autonomous systems;Cyber-physical systems;Digital twins;Fault trees;Formal languages;Formal methods;Formal specification;Formal verification;Legacy code analysis;Model checking;Model learning;Neural networks;Operational semantics;Predictive maintenance;Runtime verification;Safety-critical systems;Software;Testing
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Autonomous systems;Cyber-physical systems;Digital twins;Fault trees;Formal languages;Formal methods;Formal specification;Formal verification;Legacy code analysis;Model checking;Model learning;Neural networks;Operational semantics;Predictive maintenance;Runtime verification;Safety-critical systems;Software;Testing
