AutoFocus - Ein werkzeugprototyp zur entwicklung eingebetteter systeme

Keyphrases

• Embedded Systems 100%
• Prototyping Tools 100%
• Autofocus 100%
• System Development 33%
• Simulation Environment 33%
• System Description 33%
• Levels of Abstraction 33%
• Code Generator 33%
• Formal Techniques 33%
• System Properties 33%
• Support System 33%
• Distributed Embedded Systems 33%
• Ill-defined 33%
• Consistency Condition 33%
• Graphical Description 33%
• Model Checking Tools 33%
• Java Programming 33%
• Systems-based 33%
• Executable Specification 33%

Computer Science

• Embedded System 100%
• Code Generator 50%
• Model Checking 50%
• Property System 50%
• System Development 50%
• Simulation Environment 50%
• System Description 50%
• Consistency Condition 50%