Intelligent software engineering tools for NASA's crew exploration vehicle
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Verifying semantic conformance of state machine-to-java code generators
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Building code generators with genesys: a tutorial introduction
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Hi-index | 0.00 |
When developing products or solutions in industry and assessing their quality, formal methods provide the most rigorous tools for checking for safety and security flaws. In this talk we share our first-hand general experience in this area, and furthermore ...