Supporting UML-based development of embedded systems by formal techniques

Keyphrases

• Embedded Systems 100%
• Formal Techniques 100%
• Industrial Case Study 50%
• Live Sequence Charts 50%
• Formal Semantics 50%
• UML Modeling 50%
• Formal Tools 50%
• Timing Annotation 50%
• MARS® 50%
• Interactive Theorem Proving 50%
• Input Format 50%
• Timed Model Checking 50%

Computer Science

• Embedded Systems 100%
• Annotation 50%
• Model Checking 50%
• Industrial Case 50%
• Formal Semantics 50%
• Requirements Analysis 50%
• Case Study 50%
• Theorem Proving 50%