Embedded Software Development for Safety-Critical Systems
portes grátis
Embedded Software Development for Safety-Critical Systems
Hobbs, Chris
Taylor & Francis Ltd
09/2020
Mole
Inglês
9780367658748
15 a 20 dias
680
Descrição não disponível.
Background. The Project. Architectural Patterns. Design Validation. Coding. Verification. Appendix A: Goal. Structuring Notation. Appendix B: Bayesian Belief Networks. Appendix C: Notations.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Stochastic Petri Net;Vice Versa;safety-critical devices;Embedded Software Development;embedded safety systems;Bayesian Belief Networks;safety-critical computer system;BCI;Goal Structuring Notation;Safety Critical Systems;Petri Net;Safety Critical Application;Safety Integrity Level;Safety Critical Device;Backward Error Recovery;Discrete Event Simulation;Violated;Static Code Analysis;Safety Critical Product;Recovery Blocks;Symbolic Execution;Software Unit Testing;Software Failure Rate;Fault Tree Analysis;Fault Tree;Bayesian Network;Anomaly Detection;Markov Models
Background. The Project. Architectural Patterns. Design Validation. Coding. Verification. Appendix A: Goal. Structuring Notation. Appendix B: Bayesian Belief Networks. Appendix C: Notations.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Stochastic Petri Net;Vice Versa;safety-critical devices;Embedded Software Development;embedded safety systems;Bayesian Belief Networks;safety-critical computer system;BCI;Goal Structuring Notation;Safety Critical Systems;Petri Net;Safety Critical Application;Safety Integrity Level;Safety Critical Device;Backward Error Recovery;Discrete Event Simulation;Violated;Static Code Analysis;Safety Critical Product;Recovery Blocks;Symbolic Execution;Software Unit Testing;Software Failure Rate;Fault Tree Analysis;Fault Tree;Bayesian Network;Anomaly Detection;Markov Models
