Engineering dependable software systems /

Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus. - 1 online resource (376 pages) : illustrations. - NATO science for peace and security series. Sub-series D, Information and communication security ; volume 34 . - NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34. .

"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. "Published in cooperation with NATO Emerging Security Challenges Division."

Includes bibliographical references and indexes.

9781614992073 (ebook)


Computer software--Verification--Congresses.
Computer systems--Verification--Congresses.


Electronic books.

QA76.76.V47 / N38 2012eb

005.1/4