Title: Advanced Techniques for Embedded Systems Design and Test / Edition 1, Author: Juan C. Lïpez
Title: Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998, Author: Felix Redmill
Title: The Software Test Engineer's Handbook, 2nd Edition: A Study Guide for the ISTQB Test Analyst and Technical Test Analyst Advanced Level Certificates 2012, Author: Graham Bath
Title: Rigorous Development of Complex Fault-Tolerant Systems, Author: Michael Butler
Title: Unit Testing in Java: How Tests Drive the Code, Author: Johannes Link
Title: Writing Scientific Software: A Guide to Good Style, Author: Suely Oliveira
Title: Pragmatic Unit Testing in Java 8 with JUnit, Author: Jeff Langr
Title: Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991, Author: Tim Denvir
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Edition 1, Author: Warren A. Hunt
Title: Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995), Author: Roger Shaw
Title: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / Edition 1, Author: Dennis Dams
Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Edition 1, Author: Bert Didier
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers / Edition 1, Author: Renï Alt
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
Title: Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings, Author: Andreas Riel
Title: Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, Author: Fabrice Kordon
Title: Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997, Author: Felix Redmill
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings / Edition 1, Author: Ita Richardson

Pagination Links