1
Publicat 2005
Taula de continguts: ... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... of the DECOS Fault-Tolerant Communication Layer -- Achieving Highly Reliable Embedded Software: An Empirical...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ...Session 1 -- Reliability Analysis of Safety-Related Communication Architectures -- A Novel HAZOP...
Obtenir text complet
Electrònic eBook
5
Publicat 2012
Taula de continguts: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
Obtenir text complet
Electrònic eBook
7
Publicat 2012
Taula de continguts: ... of Vital Activities in Reliability Program for Multi-state System by Using House of Reliability -- 12...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ... for the Exponential Function in the IEEE 754r decimal64 Format -- Robustness and Randomness -- Topological...
Obtenir text complet
Electrònic eBook
9
Publicat 2014
Matèries: ...Gene Function. https://scigraph.springernature.com/ontologies/product-market-codes/B12030...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
Obtenir text complet
Electrònic eBook
11
Publicat 2006
Taula de continguts: ... in the Presence of Memory Faults -- Reliable and Efficient Computational Geometry Via Controlled Perturbation...
Obtenir text complet
Electrònic eBook
12
per Faison, Ted., Faison, Ted.
Publicat 2006
Taula de continguts: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
Obtenir text complet
Electrònic eBook
13
Publicat 2014
Taula de continguts: ... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...
Obtenir text complet
Electrònic eBook
14
per Zhan, Zhimin., Zhan, Zhimin.
Publicat 2015
Matèries: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Obtenir text complet
Electrònic eBook
15
per Freeman, Adam., Freeman, Adam.
Publicat 2010
Taula de continguts: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Obtenir text complet
Electrònic eBook
16
Matèries: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... Convex Programs and Probabilistically Robust Design -- Tetris: A Study of Randomized Constraint Sampling...
Obtenir text complet
Electrònic eBook
18
Matèries: ...Quality Control, Reliability, Safety and Risk. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing...
Obtenir text complet
Electrònic eBook