Font Size:
a
A
A
Keyword [formal system]
Result: 1 - 8 | Page: 1 of 1
1.
Research On Rapid Modeling Techniques In Domain
2.
Choreography And Orchestration Conformance For System Design
3.
Research On Automatic Generation Method Of Formal System Model Based On UML Sequence Diagram
4.
An exploration of formal methods and tools applied to a small satellite software system
5.
Automatic Deduction for Theories of Algebraic Data Types
6.
A formal method to analyze framework-based software systems
7.
Formal modeling and test generation automation with Use Case Maps and LOTOS
8.
The formal modeling of engineering design information by means of an axiomatic system
<<First
<Prev Next>
Last>>
Jump to
