Skip to main navigation
Skip to search
Skip to main content
Sort by
Computer Science
Case Study
92%
Formal Verification
92%
Development Process
76%
Agile Development
61%
Visual Component
61%
Workflow Modeling
61%
Autonomous System
61%
Correctness
61%
Literature Review
61%
Agile Methods
46%
Graphical Representation
46%
Modeling Process
46%
Development Approach
46%
formal modeling
46%
Proof Obligation
46%
Component Interface
46%
Quality Attribute
30%
Development Framework
30%
Software Systems
30%
Deterministic Model
30%
component based design
30%
Theorem Proving
30%
Process Specification
30%
Background Knowledge
30%
component based system
30%
Real Time Systems
30%
Concurrent Process
30%
Deadlock
30%
Control Decision
30%
Constraint Logic Programming
30%
Anomalous Behavior
30%
Constraint Programming
30%
Application Domain
30%
Correctness Proofs
30%
Business Process
30%
Access Control
30%
Model Decomposition
30%
Library Component
30%
Timed Automaton
30%
Operation Call
30%
System Integrity
30%
Professional Knowledge
30%
Autonomous Navigation
30%
Parallel Program
30%
Artificial Intelligence
30%
Processing Core
30%
Invariant
30%
Event Instance
15%
Generic Application
15%
Multiple Abstraction
15%
Keyphrases
Formal Development
100%
Formal Methods
87%
Maritime Autonomous Systems
61%
UPPAAL
61%
Safety-critical Systems
48%
Autonomous Ships
46%
Formal Verification
41%
Formal Library
30%
Bayes Factor
30%
Sequential Sampling
30%
Computational Delay
30%
Performance Evaluation
30%
Hybrid System
30%
Real-time Control System
30%
Bayesian Inference
30%
Bayesian Analysis
30%
Communication Delay
30%
Power Management System
30%
Multivessel
30%
Stochastic Disturbance
30%
Hypothesis Testing
30%
Hydraulic Power
30%
Computer Control
30%
Random Disturbance
30%
Rigorous Method
30%
Literature Review Methodology
30%
Visual Components
30%
Beginner
30%
Domain-specific Applications
30%
Modeling Guidelines
30%
Real-time Systems
30%
Digital Hydraulics
30%
Correct-by-construction
30%
Autonomous Surface Vehicles
30%
Parallel Program
30%
Application Tasks
30%
Parameter Estimation
30%
Machine Learning Software
30%
Challenges of Artificial Intelligence
30%
UML-B
30%
UPPAAL Timed Automata
30%
Assure
30%
Concurrent Processes
30%
Statistical Analysis
30%
Formal Specification Languages
30%
Multi-agent Systems
30%
Vessel Navigation
30%
Event Interface
30%
Accident Prevention
25%
Specification Process
25%
