Diagrams and Programming Languages for Programmable Controllers
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Knowledge engineering in the communication of Information for safety critical systems
The Knowledge Engineering Review
Hi-index | 0.00 |