Logic-based requirements language for the specification and analysis of real-time systems

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Volumn , Issue , 1996, Pages 8-16

  Tsai, Jeffrey J P ^a   Weigert, Thomas ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; CONSTRAINT THEORY; FORMAL LOGIC; GRAPH THEORY; PROGRAMMING THEORY; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

GRAPH THEORETICAL ALGORITHMS; LOGIC BASED REQUIREMENTS LANGUAGE; MODEL CHECKING; NON FUNCTIONAL ASPECTS; TIMING CONSTRAINTS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (16)