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