operational semantics - Globe Thesis

Keyword [operational semantics] Result: 1 - 20 \| Page: 1 of 2
1.	Research On Process Network Based Cooperative Computation Model Of Services
2.	The Research On Secure Management System And Its Secure Policy
3.	On Software Architecture-based Test Cases Generation
4.	Formalizing Type Safety Of The Java Virtual Machine
5.	Formal Semantics Of Framed Temporal Logic Programming Language MSVL
6.	Research On Software Test Case Automatic Generation Based On UML Statecharts
7.	Investigation On Operational Semantics And Algebraic Laws Of An Event-driven System-level Simulator
8.	Research And Verification On The Operational Semantics Model Of DFL Programming Language
9.	Event-based Structural Operational Semantics Of Verilog
10.	Research On Information Awareness Mechanism Among Subjects In Multi-Level Security System
11.	Visual Implementation Of Operational Semantics Of Procedural Programming Languages
12.	A Design And Visual Implement For The Operation Sementics Of The Procedure Languages
13.	Research And Implementation Of UDLC Language Operational Semantics On Grid
14.	The Operational Semantics For RCOS And Its Application In Program Analysis
15.	Organization-based Agent-Oriented Programming Theory And Language
16.	An Operational Semantics For Verifying Extended CCSP
17.	The Formal Framework Designed To Verify VTOS And The Verification Of The Message Module Of VTOS
18.	Formalization And Verification Of Embedded Operating Systems Using Rewriting Logic
19.	Research On Verification Of Industrial Control Programs Written In IEC 61131-3 Structured Text Language
20.	Semantics Equivalence Of Concurrent Data-Race-Free Programs
<<First <Prev Next> Last>> Jump to