Keyword [Mechanized Semantics] Result: 1 - 4 | Page: 1 of 1 1.  Towards Formal Verification And Refinement Of UML Behavioral Diagrams Based On Mechanized Semantics 2.  Research On Generation Of UML Mechanized Semantics Based On Model Transformation 3.  Research On The Mechanical Semantics And Attribute Verification Of UML Class Diagram 4.  Mechanical Verification Of Formal Semantics Based On Theorem Proof Assistant Coq   <<First  <Prev  Next>  Last>>  Jump to

Globe Thesis Copyright © 2023. All Rights Reserved. | Privacy | Copyright | Contribute | About | Contact | RSS