Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Karen Summerskill"'
Autor:
Dan Craigen, Karen Summerskill
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdo
Autor:
Dan Craigen, Karen Summerskill
Publikováno v:
Workshops in Computing ISBN: 9783540196358
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac1b94a9907374c639da7ee54a18d243
https://doi.org/10.1007/978-1-4471-3532-6_2
https://doi.org/10.1007/978-1-4471-3532-6_2
Autor:
Dan Craigen, Karen Summerskill
Publikováno v:
Workshops in Computing ISBN: 9783540196358
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf00750d336f908d3b8e8a451d68b61c
https://doi.org/10.1007/978-1-4471-3532-6_7
https://doi.org/10.1007/978-1-4471-3532-6_7
Autor:
Dan Craigen, Karen Summerskill
Publikováno v:
Workshops in Computing ISBN: 9783540196358
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bead0c7586429c19e5681aa0baa4378
https://doi.org/10.1007/978-1-4471-3532-6_1
https://doi.org/10.1007/978-1-4471-3532-6_1
Autor:
Karen Summerskill, Dan Craigen
Publikováno v:
Workshops in Computing ISBN: 9783540196358
Formal Methods for Trustworthy Computer Systems (FM89)
Formal Methods for Trustworthy Computer Systems (FM89)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::003df67f2cec7d4a62aee5e873f2d2d1
https://doi.org/10.1007/978-1-4471-3532-6
https://doi.org/10.1007/978-1-4471-3532-6
Autor:
Dan Craigen, Karen Summerskill
Publikováno v:
Workshops in Computing ISBN: 9783540196358
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc0ce29f8b826c5da3d92e5ef0a2a973
https://doi.org/10.1007/978-1-4471-3532-6_6
https://doi.org/10.1007/978-1-4471-3532-6_6
Autor:
Dan Craigen, Karen Summerskill
Publikováno v:
Workshops in Computing ISBN: 9783540196358
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44756cd9dc45466a7aeccd296b5ed170
https://doi.org/10.1007/978-1-4471-3532-6_3
https://doi.org/10.1007/978-1-4471-3532-6_3
Autor:
Dan Craigen, Karen Summerskill
Publikováno v:
Workshops in Computing ISBN: 9783540196358
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75afd4c79218c8490cccad68ee5f98eb
https://doi.org/10.1007/978-1-4471-3532-6_4
https://doi.org/10.1007/978-1-4471-3532-6_4