Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP release_pirinwhlvbf33dtaayuqcldzo4

by Islam Abdelhalim, James Sharp, Steve Schneider, Helen Treharne

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2010   p371-387

Archived Files and Locations

application/pdf  338.8 kB
file_z4wfbseqc5a7jhds3n5dqipu6i
web.archive.org (webarchive)
core.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2010
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: df4823ac-3d6c-446a-8e9b-767182dc671b
API URL: JSON