Click on a search word OR use the drop-down choices to search for a paper.

assurance case assurance case template data flow discrete-event systems event-B fault-tolerance formal methods formal specification formal verification hybrid electric vehicles IEC 61131-3 insulin infusion pump interfaces ISO 26262 model transformation model-based development multiple model synchronization refinement safety assurance simple type theory simulation Simulink software software certification software design software engineering supervisory control tabular expressions validation verification

Sorry, no publications matched your criteria.