If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Eun-Young Kang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

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

Mathematics

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