Fiona A. C. Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark. Deviational Analyses for Validating Regulations on Real Systems. In Régine Laleau, Michel Lemoine, editors, Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V 06, Luxemburg, June 5-9, 2006. Volume 241 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
@inproceedings{PolackSKC06, title = {Deviational Analyses for Validating Regulations on Real Systems}, author = {Fiona A. C. Polack and Thitima Srivatanakul and Tim Kelly and John A. Clark}, year = {2006}, url = {http://ceur-ws.org/Vol-241/paper5.pdf}, tags = {C++}, researchr = {https://researchr.org/publication/PolackSKC06}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V 06, Luxemburg, June 5-9, 2006}, editor = {Régine Laleau and Michel Lemoine}, volume = {241}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }