Author:
Borges Paulo,Machado José,Villani Emília,Campos José Creissac
Reference27 articles.
1. Alur, R., and Dill, D.L. (1990). Automata for modeling real-time systems. Proc. of 17th Int. Coll. Automata, England.
2. The design of the Unix operating system;Bach,1990
3. Baresi, L., Mauri M., Monti A., and Pezzè M. (2000). PLCTOOLS: Design, Formal Validation, and Code Generation for Programmable Controllers. Special Session at IEEE Conference on Systems, Man, and Cybernetics. Nashville USA.
4. A GRAFCET- compiler methodology for C-programmed microcontrollers;Bayó-Puxan,2008
5. Uppaal a Tool for Automatic Verification of Real-Time Systems. Docs Technical Report Nr 96/97;Bengtsson,1996
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献