<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 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 Pennsylvania