The following pages link to Pao-Ann Hsiung (Q2842579):
Displayed 12 items.
- Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC. (Q2842581) (← links)
- Model Checking Timed Systems with Urgencies (Q3522900) (← links)
- Model Checking Safety-Critical Systems Using Safecharts (Q4564162) (← links)
- Efficient and user-friendly verification (Q4571313) (← links)
- (Q4942018) (← links)
- Accelerating Coverage Estimation Through Partial Model Checking (Q5268124) (← links)
- Model Checking Prioritized Timed Systems (Q5274693) (← links)
- Counterexample-Guided Assume-Guarantee Synthesis through Learning (Q5280592) (← links)
- Automated Technology for Verification and Analysis (Q5394202) (← links)
- Programming Languages and Systems (Q5464052) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479162) (← links)
- Automated Technology for Verification and Analysis (Q5491878) (← links)