operational semantics - Globe Thesis

Font Size: a A A

Keyword [operational semantics] Result: 21 - 28 \| Page: 2 of 2
21.	A Unified Operational Semantics-based Approach To Modeling And Verifying Dynamic Software Updating
22.	The Precongruence And Axiomatic System Of CC-simulation Under GSOS/ntyft/ntyxt Operators
23.	Verification and Validation of UML and SysML Based Systems Engineering Design Models
24.	Operational semantics of hybrid systems
25.	Extending and refining an abstract operational semantics of the Web Services architecture for the business process execution language
26.	An operational semantics of lazy evaluation for analysis
27.	Research On Hybrid Modeling Language For Periodic Controllers
28.	Research On The Formal Specification Of Ethereum Smart Contracts Based On Operational Semantics
<<First <Prev Next> Last>> Jump to