First Page | Document Content | |
---|---|---|
Date: 2016-10-31 16:18:25Model checking Uppaal Model Checker Conference on Implementation and Application of Automata | Axel Legay 13 Bis rue des Quatre ChênesBruz (France) Phone : +http://people.irisa.fr/Axel.Legay/Add to Reading ListSource URL: people.irisa.frDownload Document from Source WebsiteFile Size: 195,56 KBShare Document on Facebook |
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 |