Author:
Malik Robi,Roop Partha S.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Åkesson, K., Flordal, H., Fabian, M.: Exploiting modularity for synthesis and verification of supervisors. In: Proc. 15th IFAC World Congress on Automatic Control, Barcelona, Spain (2002)
2. Abadi, M., Lamport, L.: The existence of refinement mappings. Theoretical Computer science 82(2), 253–284 (1991)
3. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer, Dordrecht (1999)
4. Chang, H., Cooke, L., Hunt, M., Martin, G., McNelly, A., Todd, L.: Surviving the SOC revolution: a guide to platform based design. Kluwer, Dordrecht (1999)
5. Lecture Notes in Computer Science;A. Cherchago,2004