INIS
mutations
62%
real time systems
62%
tools
53%
testing
45%
verification
37%
computer codes
37%
mutants
36%
patients
29%
specifications
28%
levels
28%
control
25%
prostheses
25%
markov process
25%
taxonomy
25%
management
25%
capture
25%
constraints
25%
information systems
25%
dynamics
25%
simulation
18%
algorithms
18%
data
16%
interactions
15%
explosions
12%
modeling
12%
psychological behavior
12%
calculi
12%
information
12%
reliability
12%
architecture
12%
computers
12%
cost
11%
pain
8%
interfaces
8%
molecular biology
8%
bone joints
8%
damage
8%
environment
8%
hospitals
8%
detection
8%
variations
6%
metrics
6%
operation
6%
probability
6%
disasters
6%
java
6%
resource management
6%
unmanned aerial vehicles
6%
perturbations
6%
probabilistic estimation
6%
Keyphrases
Command-and-control
25%
Dynamic Context
25%
Mechanical Ventilator
25%
Bisimulation
25%
Prosthesis
25%
Multi-criteria
25%
Orthopedic Infection
25%
Markov Logic Networks
25%
Integrated Information System
25%
Distributed Events
25%
Event-clock Automata
25%
Concision
12%
Real Faults
12%
Synchronous Languages
12%
Mutation Equivalence
12%
Model-based mutation Testing
12%
Improved System
12%
Reconnaissance Mission
12%
Coordination Process
12%
Scenario Making
12%
Uncertain Scenarios
12%
Disaster Relief Operations
12%
OWL2
12%
Antibiotherapy
12%
Imaging Process
12%
Hospital Environment
12%
Mobile Interfaces
12%
Late Diagnosis
12%
Diagnosis Treatment
12%
Differential Diagnosis
12%
Intelligent Data Management
12%
Timed Languages
12%
Heterogeneous Data
12%
Periprosthetic Joint Infection
12%
Indirect Costs
12%
Septic Loosening
12%
Initial Diagnosis
12%
Mechanical Loosening
12%
Inference Mechanisms
12%
Osteoarticular
12%
Test Quality
8%
Quality Assessment Techniques
8%
Language Inclusion
8%
First-order Logic
6%
PR-OWL
6%
Logical Approach
6%
Alchemy
6%
Pronto
6%
Information Uncertainty
6%
Action Sequence
6%
Computer Science
Timed Automaton
100%
Mutation Operator
68%
Transition System
30%
Ontology
25%
Temporal Logic
25%
Automaton
25%
Test Case Execution
25%
Dynamic Context
25%
Research Agenda
25%
Quality Assessment
25%
Case Study
25%
Real Time Systems
22%
Description Logics
18%
Computer Software
12%
Semantic Web
12%
Synchronous Language
12%
Linear Temporal Logic
12%
Reconnaissance
12%
Application Area
12%
Disaster Relief
12%
Relief Operation
12%
Timing Constraint
11%
Web Ontology Language
6%
Safety Critical Systems
6%
Model Checking Problem
6%
Distributed Systems
6%
temporal property
6%
Action Sequence
6%
Communication Network
6%
Distributed Model
5%
Boolean Operation
5%
