FME '94: Industrial Benefit of Formal Methods

Autor:	Miquel Bertran, Maurice Naftalin, Tim Denvir
Rok vydání:	1994
Předmět:	Risk analysis (engineering) Computer science Formal methods Industrial benefit
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540585558 FME '94: Industrial Benefit of Formal Methods
DOI:	10.1007/3-540-58555-9
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::bc171972b47592c8f49b971d3c3f621a https://doi.org/10.1007/3-540-58555-9 Zobrazit plný text záznamu