Dependable software systems engineering /

Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner. - 1 online resource (320 pages) : illustrations, tables. - NATO Science for Peace and Security Series - D: Information and Communication Security, Volume 40 1879-8292 ; . - NATO science for peace and security series. Sub-series D, Information and communication security ; Volume 40. .

Includes bibliographical references at the end of each chapters and index.

9781614994954 (e-book)


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


Electronic books.

QA76.76.V47 / .D474 2015eb

005.14