Model Checking of Component Behavior Specification: A Real Life Experience

Abstract

Model Checking of Component Behavior Specification: A Real Life Experience

Keywords

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