Back to Results
First PageMeta Content
Automata 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 Pennsylvania
Add to Reading List

Document Date: 2013-12-14 22:31:51


Open Document

File Size: 2,61 MB

Share Result on Facebook
UPDATE