Run-time verification

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

Volumn 3472 LNCS, Issue , 2005, Pages 525-555

  Colin, Séverine ^a   Mariani, Leonardo ^b  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SCIENCE; PROGRAM DEBUGGING; UBIQUITOUS COMPUTING; UTILITY PROGRAMS;

AUTONOMIC COMPUTING; PEER-TO-PEER COMPUTING; PROGRAM EXECUTION; RUN-TIME VERIFICATION;

VERIFICATION;

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

References (0)