Top 1200 committee on certifiably dependable software systems PDF Book
Summary of a Workshop on Software Certification and Dependability
Committee on Certifiably Dependable Software Systems, National Research Council
·58 Pages
·2004
·0.602 MB
Dependable software systems engineering
Alexander Pretschner, Doron A Peled, Thomas Hutzelmann
·257 Pages
·2017
·5.262 MB
Architecting Dependable Systems VII
Themistoklis Bourdenas
·333 Pages
·2010
·4.86 MB
Architecting Dependable Systems
Paulo Esteves Veríssimo
·312 Pages
·2003
·19.45 MB
Architecting Dependable Systems II
Rogerio de Lemos
·367 Pages
·2004
·12.35 MB
Architecting Dependable Systems II
Michel Wermelinger
·354 Pages
·2004
·5.47 MB
Architecting Dependable Systems VI
Ricardo Jimenez-Peris
·346 Pages
·2009
·4.64 MB
Hardware-Assisted Dependable Systems
Dmitrii Kuvaiskii
·189 Pages
·2017
·2.59 MB
Architecting Dependable Systems III
Nikolaos Georgantas
·335 Pages
·2005
·7.83 MB
Architecting Dependable Systems V
Paulo Veríssimo
·353 Pages
·2008
·9.69 MB
Highly Dependable Software
Marvin Zelkowitz Ph.D. MS BS.
·373 Pages
·2003
·3.24 MB
Innovations in software engineering for defense systems
All authors, Siddhartha R Dalal, J H Poore, Michael L Cohen, Oversight Committee for the Workshop on Statistical Methods in Software Engineering for Defense Systems., National Research Council (U.S.). Committee on National Statistics.
·88 Pages
·2003
·3.81 MB
Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers
Committee on Networked Systems of Embedded Computers
·235 Pages
·2001
·4.85 MB
Rules of Procedure for the Committee on Homeland Security
Committee on Homeland Security
·0.21 MB
Software for Dependable Systems: Sufficient Evidence?
Lynette I. Millett
·149 Pages
·2007
·1.021 MB
COMMITTEE MEMBERSHIP LIST
Committee on Appropriations
·4 Pages
·0.2 MB
Innovations in software engineering for defense systems
Siddhartha R Dalal; J H Poore; Michael L Cohen; Oversight Committee for the Workshop on Statistical Methods in Software Engineering for Defense Systems.; National Research Council (U.S.). Committee on National Statistics.; All authors
·88 Pages
·2003
·3.811 MB
FULL COMMITTEE ORGANIZATION MEETING
Committee on Small Business
·0.34 MB
Architecting Dependable Systems
Paulo Esteves Veríssimo, Nuno Ferreira Neves, Miguel Pupo Correia (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
·312 Pages
·2003
·19.445 MB
COBOL 128 Software System
Abacus Software
·169 Pages
·2015
·6.8 MB
Interim Report on 21st Century Cyber-Physical Systems Education
Committee on 21st Century Cyber-Physical Systems Education
·2015
·0.99609375 MB
Dependable and Secure Systems Engineering
Ali Hurson and Sahra Sedigh (Eds.)
·192 Pages
·2012
·2.597 MB
Summary of a Workshop for Software-Intensive Systems and Uncertainty at Scale
Committee on Advancing Software-Intensive Systems Producibility, National Research Council, Joan D. Winston, Lynette I. Millett
·79 Pages
·2007
·0.463 MB
[H.A.S.C. No. 114-1] COMMITTEE ORGANIZATION
Committee on Armed Services
·4.5 MB
