Jiacun Wang

• Formal Methods in Computer Science
• Real-Time Embedded Systems
• Soft Computing and Signal Processing
• Timed Petri Nets
• Handbook of Finite State Based Models and Applications