Abstract :
The following topics are dealt with: model transformation; concurrent system verification; conformance and run-time techniques; stochastic system; asynchronous circuit; synchronous system; heterogeneous system; and timed system.
Keywords :
asynchronous circuits; concurrency control; conformance testing; stochastic automata; timing; asynchronous circuit; concurrent system verification; conformance technique; heterogeneous system; model transformation; run-time technique; stochastic system; synchronous system; timed system;
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2011 11th International Conference on
Conference_Location :
Newcastle Upon Tyne
Print_ISBN :
978-1-61284-974-4
DOI :
10.1109/ACSD.2011.1
