Abstract :
The following topics are dealt with: systems design; concurrency; formal specification; formal verification.
Keywords :
concurrency control; formal specification; formal verification; systems analysis; concurrency; formal specification; formal verification; systems design;
Conference_Titel :
Application of Concurrency to System Design, 2009. ACSD '09. Ninth International Conference on
Conference_Location :
Augsburg
Print_ISBN :
978-0-7695-3697-2
DOI :
10.1109/ACSD.2009.1
