Model checking specifikací chování komponent: praktická zkušenost

Abstrakt

Model checking specifikací chování komponent: praktická zkušenost

Klíčová slova

• Model
• Checking
• Component
• Behavior
• Specification
• Experience