Computer Science
Development Effort
100%
Model Checking
100%
Practical Issue
100%
Memory Structure
100%
Multi Agent Systems
100%
Internal Memory
100%
Finite-State Machine
100%
Type Communication
100%
Distributed System
100%
Keyphrases
Quality Components
100%
Component-based
100%
Agent-based Systems
100%
X-machines
100%
Formal Methods
50%
Machine Agents
50%
Well-defined
25%
Proposed Methodology
25%
Development Effort
25%
Distributed Systems
25%
Memory Function
25%
Memory Structure
25%
Multi-agent Systems
25%
Finite State Machine
25%
Internal Storage
25%
High Complexity
25%
Well number
25%
Machine Model
25%
Formal Development
25%
Appropriate Methodology
25%
Engineering
Agent System
100%
Formal Method
50%
Applicability
25%
Model System
25%
Early Stage
25%
Late Stage
25%
Finite-State Machine
25%