formal semantics - Globe Thesis

Font Size: a A A

Keyword [formal semantics] Result: 21 - 40 \| Page: 2 of 3
21.	Encryption Protocol, A Method Of Analysis
22.	Incomplete Information Database Research
23.	Construction Of Chinese Information Processing System Logic-driven By Verb
24.	Research And Application Of Data Model For Sharing System
25.	Studies Of Formal Semantics Of Aspect-oriented Programming Languages
26.	Representation And Verification Of Ontology Evolution
27.	Hybrid Modeling Language Hyml And Its Formal Semantics
28.	Formal Semantics Of Parameterized Networks Of Processes
29.	Business Process Model Verification Method Based On Time Pattern Analysis
30.	Process Calculus BigrTiMo Of Mobile Distributed Systems And Its Formal Semantics
31.	Mechanical Verification Of Formal Semantics Based On Theorem Proof Assistant Coq
32.	Semantic And Analysis Of BPMN 2.0 Choreography Based On Petri Net
33.	Formal Semantics Of Sequence Diagrams And Their Compositions And Decompositions
34.	Interoperability of formal semantics of production data across product development systems
35.	Formal semantics for tabular expressions and Software Cost Reduction method
36.	Define a formal semantics for TTCN (Tree and Tabular Combined Notation)
37.	Process Calculus With Its Formal Semantics,Modeling And Verification Of Mobile Edge Computing
38.	Research On Formal Modelling And Verification Methods Of Cloud Computing System
39.	Formal Semantics And Verification Of Weak Memory Models
40.	Research On Key Technologies Of Network Security Control Based On Formal Semantics
<<First <Prev Next> Last>> Jump to