BART: A tool for automatic refinement

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

Volumn 5238 LNCS, Issue , 2008, Pages 345-

  Requet, Antoine ^a  

^a ClearSy   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTRUSION DETECTION; SPECIFICATIONS;

AUTOMATIC REFINEMENTS; HUMAN INTERACTIONS; TIME CONSUMING;

REFINING;

EID: 56549125446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87603-8_33     Document Type: Conference Paper

References (0)