`Logic Assurance (LA)' System - a tool for testing and controlling real-time systems

Proceedings of the Israeli Conference on Computer Systems and Software Engineering

Volumn , Issue , 1997, Pages 47-55

  Shtrichman, Ofer ^a   Goldring, Ron ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; PROGRAM DEBUGGING;

INFORMATIVE BOX METHOD; LOGIC ASSURANCE SYSTEM (LA); SYSTEM UNDER DEVELOPMENT (SUD);

REAL TIME SYSTEMS;

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

References (6)