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