Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems

Electronic Notes in Theoretical Computer Science

Volumn 36, Issue , 2000, Pages 361-382

  Ölveczky, Peter Csaba ^a   Meseguer, José ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS;

APPLICATION-SPECIFIC STRATEGIES; COMPUTER PROGRAMMING LANGUAGE - MAUDE; HYBRID SYSTEMS; REWRITING LOGIC;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0001466523     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80134-3     Document Type: Conference Paper

References (0)