Cover Image
Read Now

81
Published 2016
Springer International Publishing
Table of Contents: “...-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic...”
Cover Image
Read Now

82
Published 2022
Springer Nature Switzerland
Table of Contents: “... COmputing in Future RAILway Systems -- Industrial Day...”
Cover Image
Read Now

83
by Berglund, Tim
Published 2013
O'Reilly
Subjects: “...Computer software / Validation / fast...”
Cover Image
Read Now

84
Published 2022
Springer International Publishing
Table of Contents: “... Runtime Verification -- Verification and Validation of Concurrent and Distributed Heterogeneous Systems...”
Cover Image
Read Now

85
by Raghavendra, Sujay
Published 2021
Apress Media LLC
Table of Contents: “... Valid Hyperlink -- Check for Broken Images -- Data Attributes Hyperlink -- Summary -- Chapter 6: Buttons...”
Cover Image
Read Now

86
Published 2001
Springer US
Table of Contents: “...SCAN 2000 Keynote Address The Future of Intervals -- I Software- and Hardware-Tools -- Variable...”
Cover Image
Read Now

87
by Becker, Christopher Reid
Published 2020
PACKT Publishing Limited
Table of Contents: “...Chapter 3: Interface Design Values -- Solving a problem with computer software -- Positive software...”
Cover Image
Read Now

88
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Dependability -- Software architectures -- computer vision -- Cognitive robotics -- Multi-robot-coordination...”
Cover Image
Read Now

89
by Chen, Mingsong, Qin, Xiaoke, Koo, Heon-Mo, Mishra, Prabhat
Published 2013
Springer New York
Table of Contents: “... Validation.- Reuse of System-Level Tests for Implementation Validation -- Conclusion...”
Cover Image
Read Now

90
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control...”
Cover Image
Read Now

91
Published 2016
Springer International Publishing
Table of Contents: “... on Variability Modeling for Scalable Software Evolution -- Towards Incremental Validation of Railway Systems...”
Cover Image
Read Now

92
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Risk Assessment Framework for Software Testing -- Data Driven Testing of Open Source Software...”
Cover Image
Read Now

93
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”
Cover Image
Read Now

94
by Leszak, Marek, Eggert, Horst
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... zur graphischen Netzkonstruktion -- 5.2 Werkzeuge zur strukturellen funktionellen Validation durch...”
Cover Image
Read Now

95
by Shoham, Sharon
Published 2022
Springer Nature
Subjects: “...Software Engineering...”
Cover Image
Read Now

96
by Fan, Yongquan, Zilic, Zeljko
Published 2011
Springer Netherlands
Subjects: “...Electronic digital computers / Evaluation...”
Cover Image
Read Now

97
by Nicolescu, G., Jerraya, Ahmed A.
Published 2007
Springer Netherlands
Table of Contents: “... Validation Based on Execution Models -- Anatomy of a Hardware/Software Execution Model in Heterogeneous...”
Cover Image
Read Now

98
Published 2021
Springer International Publishing
Table of Contents: “...From Verification to Explanation (Track Introduction) -- An Algorithm to Compute a Strict Partial...”
Cover Image
Read Now

99
Published 1999
Springer US
Table of Contents: “... of Knowledge Validation -- Progressive Instantiation for the Logical Validation of Nonmonotonic KBs -- Computer...”
Cover Image
Read Now

100
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Correct Construction of Pipelined Systems -- References -- Models of Computation for System Design -- 1...”