Specification Language - Globe Thesis

Font Size: a A A

Keyword [Specification Language] Result: 21 - 35 \| 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
33.	Composition And Refinement Of Timing Behavior For Cyber Physic Systems
34.	Research And Implementation Of Custom Test Report Generation Method Based On MDA
35.	Design And Implementation Of Dynamic Scenario Description Language For Autonomous Driving Simulation Test
<<First <Prev Next> Last>> Jump to