Real-time and hybrid systems testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3472 LNCS, Issue , 2005, Pages 355-387

  Berkenkötter, Kirsten ^a   Kirner, Raimund ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; PROBLEM SOLVING; SUPERVISORY AND EXECUTIVE PROGRAMS; TIME DOMAIN ANALYSIS;

GRAPHICAL MODELING; HYBRID SYSTEMS; UNTIMED SYSTEMS;

REAL TIME SYSTEMS;

EID: 36949039637     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11498490_16     Document Type: Conference Paper

References (0)