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