5 results on '"Meryem Afendi"'
Search Results
2. Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study.
3. Modelling Hybrid Programs with Event-B.
4. A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B.
5. Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.