Engineering dependable software systems /
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Elektronik Konferans Sunumu Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Amsterdam ; Washington, D. C. :
IOS Press,
[2013]
|
| Seri Bilgileri: | NATO science for peace and security series. Information and communication security ;
v. 34. |
| Konular: | |
| Online Erişim: | An electronic book accessible through the World Wide Web; click to view |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller
Engineering dependable software systems /
Baskı/Yayın Bilgisi: (2013)
Baskı/Yayın Bilgisi: (2013)
Dependable software systems engineering /
Baskı/Yayın Bilgisi: (2015)
Baskı/Yayın Bilgisi: (2015)
Dependable software systems engineering /
Baskı/Yayın Bilgisi: (2015)
Baskı/Yayın Bilgisi: (2015)
Principles of model checking
Yazar:: Baier, Christel
Baskı/Yayın Bilgisi: (2008)
Yazar:: Baier, Christel
Baskı/Yayın Bilgisi: (2008)
Principles of model checking
Yazar:: Baier, Christel
Baskı/Yayın Bilgisi: (2008)
Yazar:: Baier, Christel
Baskı/Yayın Bilgisi: (2008)
Software safety and security tools for analysis and verification /
Baskı/Yayın Bilgisi: (2012)
Baskı/Yayın Bilgisi: (2012)
Software safety and security tools for analysis and verification /
Baskı/Yayın Bilgisi: (2012)
Baskı/Yayın Bilgisi: (2012)
The software audit guide /
Yazar:: Helgeson, John W., 1945-
Baskı/Yayın Bilgisi: (2009)
Yazar:: Helgeson, John W., 1945-
Baskı/Yayın Bilgisi: (2009)
The software audit guide /
Yazar:: Helgeson, John W., 1945-
Baskı/Yayın Bilgisi: (2009)
Yazar:: Helgeson, John W., 1945-
Baskı/Yayın Bilgisi: (2009)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Yazar:: Yoeli, Michael, 1917-
Baskı/Yayın Bilgisi: (2008)
Yazar:: Yoeli, Michael, 1917-
Baskı/Yayın Bilgisi: (2008)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Yazar:: Yoeli, Michael, 1917-
Baskı/Yayın Bilgisi: (2008)
Yazar:: Yoeli, Michael, 1917-
Baskı/Yayın Bilgisi: (2008)
Robot framework test automation /
Yazar:: Bisht, Sumit
Baskı/Yayın Bilgisi: (2013)
Yazar:: Bisht, Sumit
Baskı/Yayın Bilgisi: (2013)
Robot framework test automation /
Yazar:: Bisht, Sumit
Baskı/Yayın Bilgisi: (2013)
Yazar:: Bisht, Sumit
Baskı/Yayın Bilgisi: (2013)
Verification of infinite-state systems with applications to security
Baskı/Yayın Bilgisi: (2006)
Baskı/Yayın Bilgisi: (2006)
Verification of infinite-state systems with applications to security
Baskı/Yayın Bilgisi: (2006)
Baskı/Yayın Bilgisi: (2006)
Comprehensive functional verification the complete industry cycle
Yazar:: Wile, Bruce
Baskı/Yayın Bilgisi: (2005)
Yazar:: Wile, Bruce
Baskı/Yayın Bilgisi: (2005)
Comprehensive functional verification the complete industry cycle
Yazar:: Wile, Bruce
Baskı/Yayın Bilgisi: (2005)
Yazar:: Wile, Bruce
Baskı/Yayın Bilgisi: (2005)
Deadly arsenals nuclear, biological, and chemical threats /
Yazar:: Cirincione, Joseph
Baskı/Yayın Bilgisi: (2005)
Yazar:: Cirincione, Joseph
Baskı/Yayın Bilgisi: (2005)
Deadly arsenals nuclear, biological, and chemical threats /
Yazar:: Cirincione, Joseph
Baskı/Yayın Bilgisi: (2005)
Yazar:: Cirincione, Joseph
Baskı/Yayın Bilgisi: (2005)
Metamodeling-driven IP reuse for SoC integration and microprocessor design
Yazar:: Mathaikutty, Deepak A.
Baskı/Yayın Bilgisi: (2009)
Yazar:: Mathaikutty, Deepak A.
Baskı/Yayın Bilgisi: (2009)
Metamodeling-driven IP reuse for SoC integration and microprocessor design
Yazar:: Mathaikutty, Deepak A.
Baskı/Yayın Bilgisi: (2009)
Yazar:: Mathaikutty, Deepak A.
Baskı/Yayın Bilgisi: (2009)
Minimal verificationism : on the limits of knowledge /
Yazar:: Haas, Gordian
Baskı/Yayın Bilgisi: (2015)
Yazar:: Haas, Gordian
Baskı/Yayın Bilgisi: (2015)
Minimal verificationism : on the limits of knowledge /
Yazar:: Haas, Gordian
Baskı/Yayın Bilgisi: (2015)
Yazar:: Haas, Gordian
Baskı/Yayın Bilgisi: (2015)
Verification techniques for system-level design
Yazar:: Fujita, Masahiro, 1956-
Baskı/Yayın Bilgisi: (2008)
Yazar:: Fujita, Masahiro, 1956-
Baskı/Yayın Bilgisi: (2008)
Verification techniques for system-level design
Yazar:: Fujita, Masahiro, 1956-
Baskı/Yayın Bilgisi: (2008)
Yazar:: Fujita, Masahiro, 1956-
Baskı/Yayın Bilgisi: (2008)
The Chemical Weapons Convention implementation, challenges and opportunities /
Baskı/Yayın Bilgisi: (2006)
Baskı/Yayın Bilgisi: (2006)
The Chemical Weapons Convention implementation, challenges and opportunities /
Baskı/Yayın Bilgisi: (2006)
Baskı/Yayın Bilgisi: (2006)
Induction, probability, and confirmation
Baskı/Yayın Bilgisi: (1975)
Baskı/Yayın Bilgisi: (1975)
Induction, probability, and confirmation
Baskı/Yayın Bilgisi: (1975)
Baskı/Yayın Bilgisi: (1975)
Software for dependable systems sufficient evidence? /
Baskı/Yayın Bilgisi: (2007)
Baskı/Yayın Bilgisi: (2007)
Software for dependable systems sufficient evidence? /
Baskı/Yayın Bilgisi: (2007)
Baskı/Yayın Bilgisi: (2007)
Software and systems safety specification and verification /
Baskı/Yayın Bilgisi: (2011)
Baskı/Yayın Bilgisi: (2011)
Software and systems safety specification and verification /
Baskı/Yayın Bilgisi: (2011)
Baskı/Yayın Bilgisi: (2011)
Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
Baskı/Yayın Bilgisi: (2002)
Baskı/Yayın Bilgisi: (2002)
Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
Baskı/Yayın Bilgisi: (2002)
Baskı/Yayın Bilgisi: (2002)
Verification and validation of 3D free-surface flow models
Baskı/Yayın Bilgisi: (2009)
Baskı/Yayın Bilgisi: (2009)
Verification and validation of 3D free-surface flow models
Baskı/Yayın Bilgisi: (2009)
Baskı/Yayın Bilgisi: (2009)
Software systems safety /
Baskı/Yayın Bilgisi: (2014)
Baskı/Yayın Bilgisi: (2014)
Software systems safety /
Baskı/Yayın Bilgisi: (2014)
Baskı/Yayın Bilgisi: (2014)
Knowledge-based software engineering proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /
Baskı/Yayın Bilgisi: (2012)
Baskı/Yayın Bilgisi: (2012)