封面圖片

QR Code

Dependable software systems engineering /

Show other versions (1)

Saved in:

書目詳細資料
其他作者:	Irlbeck, Maximilian (Editor), Peled, Doron (Editor), Pretschner, Alexander (Editor)
格式:	電子電子書
語言:	英语
出版:	Amsterdam, Netherlands : IOS Press, 2015.
叢編:	NATO science for peace and security series. Information and communication security ; Volume 40.
主題:	Computer software > Verification > Congresses. Computer systems > Verification > Congresses. Electronic books.
在線閱讀:	An electronic book accessible through the World Wide Web; click to view
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Dependable software systems engineering /
出版: (2015)

Engineering dependable software systems /
出版: (2013)

Engineering dependable software systems /
出版: (2013)

Principles of model checking
由: Baier, Christel
出版: (2008)

Principles of model checking
由: Baier, Christel
出版: (2008)

Software safety and security tools for analysis and verification /
出版: (2012)

Software safety and security tools for analysis and verification /
出版: (2012)

The software audit guide /
由: Helgeson, John W., 1945-
出版: (2009)

The software audit guide /
由: Helgeson, John W., 1945-
出版: (2009)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
由: Yoeli, Michael, 1917-
出版: (2008)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
由: Yoeli, Michael, 1917-
出版: (2008)

Robot framework test automation /
由: Bisht, Sumit
出版: (2013)

Robot framework test automation /
由: Bisht, Sumit
出版: (2013)

Verification of infinite-state systems with applications to security
出版: (2006)

Verification of infinite-state systems with applications to security
出版: (2006)

Comprehensive functional verification the complete industry cycle
由: Wile, Bruce
出版: (2005)

Comprehensive functional verification the complete industry cycle
由: Wile, Bruce
出版: (2005)

Deadly arsenals nuclear, biological, and chemical threats /
由: Cirincione, Joseph
出版: (2005)

Deadly arsenals nuclear, biological, and chemical threats /
由: Cirincione, Joseph
出版: (2005)

Metamodeling-driven IP reuse for SoC integration and microprocessor design
由: Mathaikutty, Deepak A.
出版: (2009)

Metamodeling-driven IP reuse for SoC integration and microprocessor design
由: Mathaikutty, Deepak A.
出版: (2009)

Minimal verificationism : on the limits of knowledge /
由: Haas, Gordian
出版: (2015)

Minimal verificationism : on the limits of knowledge /
由: Haas, Gordian
出版: (2015)

Verification techniques for system-level design
由: Fujita, Masahiro, 1956-
出版: (2008)

Verification techniques for system-level design
由: Fujita, Masahiro, 1956-
出版: (2008)

The Chemical Weapons Convention implementation, challenges and opportunities /
出版: (2006)

The Chemical Weapons Convention implementation, challenges and opportunities /
出版: (2006)

Induction, probability, and confirmation
出版: (1975)

Induction, probability, and confirmation
出版: (1975)

Software for dependable systems sufficient evidence? /
出版: (2007)

Software for dependable systems sufficient evidence? /
出版: (2007)

Software and systems safety specification and verification /
出版: (2011)

Software and systems safety specification and verification /
出版: (2011)

Verification and validation of 3D free-surface flow models
出版: (2009)

Verification and validation of 3D free-surface flow models
出版: (2009)

Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
出版: (2002)

Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
出版: (2002)

Software systems safety /
出版: (2014)

Software systems safety /
出版: (2014)

Knowledge-based software engineering proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /
出版: (2012)