Computer Aided Verification

Beschreibung

State-of-the-art research Fast-track conference proceedings Unique visibility

Autor*in

Tayssir Touili

Themen in »Computer Aided Verification«

Extension Simulation algorithms artificial neural network assembler computer aided verification concurrent algorithms formal methods hybrid systems learning machine code memory management policy monitoring proving verification

Stimmen zu »Computer Aided Verification«

Details

Link teilen