Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study.
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/gpce/SlattenKH11
%A Slåtten, Vidar
%A Kraemer, Frank Alexander
%A Herrmann, Peter
%B GPCE
%D 2011
%E Denney, Ewen
%E Schultz, Ulrik Pagh
%I ACM
%K
%P 147-156
%T Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study.
%U http://dblp.uni-trier.de/db/conf/gpce/gpce2011.html#SlattenKH11
%@ 978-1-4503-0689-8
@inproceedings{conf/gpce/SlattenKH11,
added-at = {2023-12-13T00:43:23.000+0100},
author = {Slåtten, Vidar and Kraemer, Frank Alexander and Herrmann, Peter},
biburl = {https://www.bibsonomy.org/bibtex/2942a6dc76c816441c99fe365d5ffd038/admin},
booktitle = {GPCE},
crossref = {conf/gpce/2011},
editor = {Denney, Ewen and Schultz, Ulrik Pagh},
ee = {https://doi.org/10.1145/2047862.2047888},
interhash = {6773087b744da1eadf74571a894e1bb9},
intrahash = {942a6dc76c816441c99fe365d5ffd038},
isbn = {978-1-4503-0689-8},
keywords = {},
pages = {147-156},
publisher = {ACM},
timestamp = {2023-12-13T00:43:23.000+0100},
title = {Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study.},
url = {http://dblp.uni-trier.de/db/conf/gpce/gpce2011.html#SlattenKH11},
year = 2011
}