[IEEE First International Conference on Industrial and Information Systems - Sri Lanka (2006.08.8-2006.08.11)] First International Conference on Industrial and Information Systems - Statecharts for Reconfigurable Modular Control of Complex Reactive Systems: need for formal verification and associated problems
Dewasurendra, S. DevapriyaYear:
2006
Language:
english
Pages:
6
DOI:
10.1109/iciis.2006.365735
File:
PDF, 8.14 MB
english, 2006