Keyphrases
Event Composition
28%
Autonomous Ships
28%
Formal Verification
28%
Formal Library
28%
High-integrity Systems
28%
COLREGs
28%
Maritime Autonomous Systems
28%
Formal Development
28%
Specification Tool
28%
Formal Specification Languages
28%
Scrum
28%
Modeling Experience
28%
Parallel Programming
28%
Bayes Factor
28%
Sequential Sampling
28%
Computational Delay
28%
Performance Evaluation
28%
Hybrid System
28%
Real-time Control System
28%
Bayesian Inference
28%
Bayesian Analysis
28%
Communication Delay
28%
Power Management System
28%
Simulink Model
28%
Model Fragment
28%
Agile Development
28%
Resilience Level
28%
Formal System
28%
Multivessel
28%
Component-based
28%
Machine Learning Software
28%
Stochastic Disturbance
28%
Hypothesis Testing
28%
Hydraulic Power
28%
Computer Control
28%
Random Disturbance
28%
Rigorous Method
28%
Component Design
28%
Literature Review Methodology
28%
Systematic Literature Review
28%
Event-B Specifications
28%
Visual Components
28%
Beginner
28%
Domain-specific Applications
28%
System Modeling
28%
Modeling Guidelines
28%
Graph Representation
19%
Formal Modeling
19%
Efficient Development
14%
Levels of Abstraction
14%
Computer Science
Development Process
100%
Agile Development
57%
Agile Methods
42%
Graphical Representation
42%
Safety Critical Systems
28%
Quality Attribute
28%
Development Framework
28%
Software Systems
28%
Modeling Process
28%
Artificial Intelligence
28%
Event Instance
28%
Performance Evaluation
28%
Communication Delay
28%
Visual Component
28%
Deterministic Model
28%
component based design
28%
Theorem Proving
28%
Process Specification
28%
Background Knowledge
28%
Generic Application
28%
Machine Learning
28%
Specific Application Domain
28%
component based system
28%
Parameter Estimation
28%
Application Domain
23%
Development Approach
14%
Multiple Abstraction
14%
Understandability
14%
Case Study
14%
formal modeling
14%
Criticality
14%
Correctness Proofs
14%
Proof Obligation
14%
Top-Down Approach
14%
System Development
14%
Theorem Prover
14%
Cyber Physical Systems
14%
Agile Technique
14%
Preliminary Phase
14%
Risk Engineering
14%
Model Development
14%
Acceptable Level
9%
Dynamic Reconfiguration
9%
Performance Degradation
9%
Computational Power
9%
Quality Characteristic
9%
Air Pollution
9%
