Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où Eun-Young Kang est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

Ingénierie et Science des Matériaux

Real time systems
Model checking
Brakes
Telecommunication systems
Semantics
Embedded systems
Wire
Interchanges
Systems analysis
Specifications
Quality assurance
Statistical methods
Energy utilization
Control systems
Computer simulation
Vending machines
Scheduling
Testing
Costs
Network architecture
Flow control

mathématiques

Formal Analysis
Formal Verification
Statistical Analysis
Real-time
Methodology
Energy
Model
Safety
Flow diagram
Hierarchical Systems
Case-control Study
Event-driven
Timing
Requirements
State Machine
Fault-tolerant
Embedded Systems
System Design
Formal Modeling
Embedded Software
Architectural Design
Coverage
Timed Automata
Tool Support