共 50 条
- [1] On-the-fly Diagnosability Analysis of LPN Using Verifier Nets 2016 3RD CONFERENCE ON CONTROL AND FAULT-TOLERANT SYSTEMS (SYSTOL), 2016, : 305 - 312
- [2] A new glance at HCl-monohydrate spectroscopy, using on-the-fly dynamics JOURNAL OF CHEMICAL PHYSICS, 2007, 126 (02):
- [5] On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants IFAC PAPERSONLINE, 2015, 48 (07): : 64 - 70
- [8] Efficient Power Grid Integrity Analysis Using On-the-Fly Error Check and Reduction 2010 15TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC 2010), 2010, : 754 - +