Font Size:
a
A
A
Keyword [formal methods]
Result: 61 - 80 | Page: 4 of 8
61.
Based On Formal Methods To Build The Domain Model And Its Implementation Discussed
62.
Based On Formal Methods Of Software Component Interface Specification
63.
Based On Uml Behavioral Models In The Form Of Software Vulnerability Detection Methods
64.
Extension And Application Of Formal Verification Methods Based On Strand Space Model
65.
E-commerce Protocol Analysis And Verification Based On SPIN Model Checking
66.
Research, Analysis And Evolution Of Component Behavior Based On Formal Methods
67.
Analysis And Research On Critical Non-functional Property Of Safety-Critical Embedded Real-Time Software
68.
Formal Modeling And Verification For Component-Based Model Integrated CNC Systems With IEC 61499 Standard
69.
The Application Of Formal Methods In Cloud Computing
70.
Semantic Theories Of Interrupts In Real-Time Embedded System
71.
A Timed Communication Behaviour Model For Distributed Systems
72.
Modeling And Verification Of Cyber Physical Systems Based On Formal Method
73.
Real-time Analysis And Verrification Of Real-Time Cyber Physical Systems
74.
Research And Design On Key Technologies Of Communication Networks Of Automated Warehouse
75.
Researches On Role-based Middleware In Wireless Sensor Network
76.
The Research Of Several Key Techs On File Transfer Based On Petri Net
77.
The Research Form UML Modeling To Z Formal Specification
78.
Research On Formal Methods For Verifying Instruction List Program
79.
Formalizing Hybrid Systems Using Event-B:Theory And Practice
80.
Study On Formal Methods Of Networked Software Requirements Verification
<<First
<Prev
Next>
Last>>
Jump to
