Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Chris Sennett"'
Autor:
Peter Ryan, Chris Sennett
As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are
Autor:
Peter Ryan, Chris Sennett
Publikováno v:
Formal Methods in Systems Engineering ISBN: 9783540197515
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68408c9d53cf9383c0af5b5f6b533eba
https://doi.org/10.1007/978-1-4471-1975-3_12
https://doi.org/10.1007/978-1-4471-1975-3_12
Autor:
Peter Ryan, Chris Sennett
Publikováno v:
Formal Methods in Systems Engineering
1 Introduction.- 1.1 What Are Formal Methods?.- 1.2 Formal Methods and Mathematics.- 1.3 What Good Are Formal Methods?.- 1.4 The Myth of Control.- 1.5 Hyperprogramming.- 1.6 Recommendations.- 2 Formal Methods of Software Development: Painted into the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::868a55710da036a18d50bc88baf1d774
https://doi.org/10.1007/978-1-4471-1975-3
https://doi.org/10.1007/978-1-4471-1975-3