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 | Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docxAdd to Reading ListSource URL: spes2020.informatik.tu-muenchen.deDownload Document from Source WebsiteFile Size: 310,82 KBShare Document on Facebook |