<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-07-22 14:10:46Java platform Cross-platform software Java programming language Model checkers Uppaal Model Checker Java Windows Environment variable Path Computing Software System software |
Add to Reading List |
TEMPO INSTALLATION v0.2.1 (BETA[removed]Platform Independent Notes | Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docxDocID: 1qFi8 - View Document |
| ✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOUDocID: 1oUzJ - View Document |
| A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of PennsylvaniaDocID: 1aMyG - View Document |
| BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-CheckingDocID: 1atwy - View Document |
| Testing activities at CISSDocID: 1ar7G - View Document |