Abstract Machine - Globe Thesis

Font Size: a A A

Keyword [Abstract Machine] Result: 1 - 9 \| Page: 1 of 1
1.	Research On Component Security Testing Theories And Technologies Based On Fault Injection
2.	The Research On Translating UML Diagram To B-Method Formal Specification And Its Application
3.	The Research And Application Of B Language And Method In Algorithm Formalization
4.	The Implementation And Application Of B-Method In Abstract Machine Library
5.	Testing Technique Based On Software Architecture
6.	The Research On B Formal Specification Of UML Use Case Model
7.	Research Of B Formal Specification Based On UML Class Diagram
8.	The Formalization Of UML Modeling And Its Application
9.	The Research On Software Modeling Methods Based On B Method
<<First <Prev Next> Last>> Jump to