Formal Specification and Verification - Globe Thesis

Font Size: a A A

Keyword [Formal Specification and Verification] Result: 1 - 8 \| Page: 1 of 1
1.	Research On NGN Service Control Capability
2.	Formal Specification And Verification Of Automatic DMARF System
3.	Formal Specification And Verification Of OAuth Protocol
4.	Formal specification and verification of a JVM and its bytecode verifier
5.	Formal specification and verification of reconfigurable hybrid systems
6.	A modular approach to formal specification and verification of dependable distributed protocols
7.	Formal specification and verification of the OSI session layer using the Calculus of Communicating Systems (CCS)
8.	Formal specification and verification of microprocessor interrupts
<<First <Prev Next> Last>> Jump to