Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Link opens in a new tab
Search content at Illinois Experts
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
A formal pattern architecture for safe medical systems
Mu Sun
,
José Meseguer
,
Lui Sha
Information Trust Institute
Coordinated Science Lab
Electrical and Computer Engineering
Siebel School of Computing and Data Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A formal pattern architecture for safe medical systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Pacemaker
100%
Medical Systems
100%
Formal Pattern
100%
Medical Devices
50%
Instantiation
50%
Cost Savings
50%
Design Patterns
50%
Rewriting Logic
50%
Real-Time Maude
50%
Software Engineering
50%
Safety Properties
50%
Critical Safety
50%
Safety-critical Systems
50%
Modular Design
50%
Safety Patterns
50%
Formal Guarantees
50%
Computer Science
Software Engineering
100%
Instantiation
100%
Rewriting Logic
100%
Safety Critical Systems
100%
Cost Saving
100%
Architecture Pattern
100%
Design Pattern
100%