Font Size:
a
A
A
Keyword [Specification Language]
Result: 21 - 32 | Page: 2 of 2
21.
Research And Implementation Of Remote Anonymous Attestation Protocol
22.
The Design And Implementation Of Safe C Language
23.
Extension Of The Design And Implementation Of The Verification Condition Generator In Safe C Verifier
24.
Enhancing a behavioral interface specification language with temporal logic features
25.
Specifying and verifying multiagent systems using the cognitive agents specification language (CASL)
26.
Applying a visual specification language to hardware protocol verification
27.
Transformer specification language: A system for generating analyzers and its applications
28.
A games-based foundation for compositional software model checking
29.
A mission plan specification language for behaviour-based robots
30.
A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language FunZ
31.
A functional-test specification language
32.
Research On Automatic Synthesis For Clock Constraint Specification Language
<<First
<Prev
Next>
Last>>
Jump to