Date: 2013-12-14 22:31:51Automata theory Computing Application software Models of computation Uppaal Model Checker Stateflow Simulink Finite-state machine Valuation Visual programming languages Model checkers Software | | 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 PennsylvaniaDocument is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 2,61 MB
|