5 results on '"Yamine Aït-Ameur"'
Search Results
2. Certified Embedding of B Models in an Integrated Verification Framework.
3. Formal development process of safety-critical embedded human machine interface systems.
4. Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies.
5. Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.