Numerical Software Verification
-15%
portes grátis
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Martel, Matthieu; Bogomolov, Sergiy; Prabhakar, Pavithra
Springer International Publishing AG
02/2017
107
Mole
Inglês
9783319542911
15 a 20 dias
1883
Descrição não disponível.
Verification and validation of global properties,.- Implementation of numerical techniques on modern hardware.- Development and analysis of cyber-physical systems (CPS).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
cyber-physical systems;internet of things;numerical simulation;statistical verification;stochastic processes;dependable systems;differential equations;embedded systems;fault-tolerant systems and networks;formal abstractions;games;hybrid automaton;model based;numerical analysis;probabilistic verification;software verification;systems of systems;verification
Verification and validation of global properties,.- Implementation of numerical techniques on modern hardware.- Development and analysis of cyber-physical systems (CPS).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
cyber-physical systems;internet of things;numerical simulation;statistical verification;stochastic processes;dependable systems;differential equations;embedded systems;fault-tolerant systems and networks;formal abstractions;games;hybrid automaton;model based;numerical analysis;probabilistic verification;software verification;systems of systems;verification
