INIS
mutations
60%
dynamics
60%
tools
52%
real time systems
50%
verification
50%
mutants
48%
testing
42%
computer codes
30%
patients
23%
algorithms
23%
specifications
22%
levels
22%
interactions
22%
control
20%
prostheses
20%
markov process
20%
taxonomy
20%
management
20%
capture
20%
constraints
20%
information systems
20%
reduction
20%
modeling
20%
applications
19%
simulation
18%
data
13%
security
13%
environment
13%
design
11%
explosions
10%
psychological behavior
10%
calculi
10%
information
10%
reliability
10%
architecture
10%
computers
10%
foundations
10%
game theory
10%
cost
9%
detection
8%
pain
6%
interfaces
6%
molecular biology
6%
bone joints
6%
damage
6%
hospitals
6%
comparative evaluations
6%
utilities
6%
safety
6%
variations
5%
Keyphrases
Bisimulation
35%
Command-and-control
20%
Dynamic Context
20%
Mechanical Ventilator
20%
Prosthesis
20%
Multi-criteria
20%
Orthopedic Infection
20%
Markov Logic Networks
20%
Integrated Information System
20%
Distributed Events
20%
Event-clock Automata
20%
Model-based Systems
20%
Mutation Testing
20%
Time Model
20%
Timed Games
20%
Dynamic Games
20%
Real Faults
15%
Test Quality
11%
Concision
10%
Synchronous Languages
10%
Mutation Equivalence
10%
Model-based mutation Testing
10%
Improved System
10%
Reconnaissance Mission
10%
Coordination Process
10%
Scenario Making
10%
Uncertain Scenarios
10%
Disaster Relief Operations
10%
OWL2
10%
Antibiotherapy
10%
Imaging Process
10%
Hospital Environment
10%
Mobile Interfaces
10%
Late Diagnosis
10%
Diagnosis Treatment
10%
Differential Diagnosis
10%
Intelligent Data Management
10%
Timed Languages
10%
Heterogeneous Data
10%
Periprosthetic Joint Infection
10%
Indirect Costs
10%
Septic Loosening
10%
Initial Diagnosis
10%
Mechanical Loosening
10%
Inference Mechanisms
10%
Osteoarticular
10%
Biased Simulation
10%
Safety-critical Systems
10%
Quality Assessment Techniques
6%
Language Inclusion
6%
Computer Science
Timed Automaton
100%
Mutation Operator
75%
Safety Critical Systems
25%
Transition System
24%
Temporal Logic
20%
Ontology
20%
Automaton
20%
Test Case Execution
20%
Dynamic Context
20%
Research Agenda
20%
Quality Assessment
20%
Case Study
20%
Exact Duplicate
20%
Enhance Performance
20%
Execution Time
20%
Real Time Systems
18%
Description Logics
15%
Computer Software
10%
Semantic Web
10%
Synchronous Language
10%
Linear Temporal Logic
10%
Reconnaissance
10%
Application Area
10%
Disaster Relief
10%
Relief Operation
10%
Strategic Interaction
10%
Timing Constraint
9%
Strategic Adaptation
6%
Web Ontology Language
5%
Model Checking Problem
5%
Distributed Systems
5%
temporal property
5%
Action Sequence
5%
Communication Network
5%
