<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-03-23 03:32:40Abstraction Model checkers Timed automaton Uppaal Model Checker Model checking Is-a Software engineering Computing Computer programming |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-03-23 03:32:40Abstraction Model checkers Timed automaton Uppaal Model Checker Model checking Is-a Software engineering Computing Computer programming |
Add to Reading List |
Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx