Experiences with Modeling and Verification of Regulations
Experiences with Modeling and Verification of Regulations
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Goedertier, S.
57cd2ca0-2e37-4924-8566-f6cb520c1600
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
2006
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Goedertier, S.
57cd2ca0-2e37-4924-8566-f6cb520c1600
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
Vanthienen, J., Goedertier, S. and Mues, C.
(2006)
Experiences with Modeling and Verification of Regulations.
International Workshop on Regulations Modelling and their Validation & Verification (REMO2V '06), in conjunction with the 18th Conference on Advanced Information System Engineering (CAiSE '06), Luxembourg.
05 Jun 2006.
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 2006
Venue - Dates:
International Workshop on Regulations Modelling and their Validation & Verification (REMO2V '06), in conjunction with the 18th Conference on Advanced Information System Engineering (CAiSE '06), Luxembourg, 2006-06-05 - 2006-06-05
Identifiers
Local EPrints ID: 42633
URI: http://eprints.soton.ac.uk/id/eprint/42633
PURE UUID: 8bdafb30-d3bc-4edf-aad3-156eac280ff2
Catalogue record
Date deposited: 19 Dec 2006
Last modified: 08 Apr 2022 01:38
Export record
Contributors
Author:
J. Vanthienen
Author:
S. Goedertier
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics