Modeling and marshaling: Making tests from model checker counterexamples

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2000, Pages

  Black, Paul E ^a  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DATA STRUCTURES; RESPONSE TIME (COMPUTER SYSTEMS);

MARSHAL MODELS; SOFTWARE PACKAGE MATLAB;

AVIONICS;

EID: 0034475834     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)