Back to Results
First PageMeta Content
Abstraction / Model checkers / Timed automaton / Uppaal Model Checker / Model checking / Is-a / Software engineering / Computing / Computer programming


Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx
Add to Reading List

Document Date: 2012-03-23 03:32:40

Open Document

File Size: 310,82 KB

Share Result on Facebook