Title :
Proceedings Third International Conference on Application of Concurrency to System Design. ACSD 2003
Abstract :
The following topics are dealt with: system design; formal specification; formal verification; Petri nets; task-level concurrency analysis tool; model checking; temporal logic.
Keywords :
Petri nets; formal logic; formal specification; formal verification; parallel processing; systems analysis; Petri nets; formal specification; formal verification; model checking; system design; task-level concurrency analysis tool; temporal logic; Logic; Parallel processing; Petri nets; Software requirements and specifications; System analysis and design;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Conference_Location :
Guimaraes, Portugal
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207691
