Specification and analysis of soft real-time systems: quantity and quality

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1999, Pages 104-114

  D'Argenio, Pedro R ^a   Katoen, Joost Pieter ^a   Brinksma, Ed ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; AUTOMATA THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; CONSTRAINT THEORY; FAULT TOLERANT COMPUTER SYSTEMS; MULTIPROCESSING SYSTEMS; PROBABILITY DISTRIBUTIONS; RANDOM PROCESSES;

DISCRETE EVENT SIMULATION; PROCESS ALGEBRA SPECIFICATION; STOCHASTIC AUTOMATA;

REAL TIME SYSTEMS;

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

References (28)