Xue, F and Yan, L (2007) Formal approach to fault diagnosis in distributed discrete event systems with OBDD. Innovations in Systems and Software Engineering: A NASA Journal , 3
Full text not available from this repository.
| Type: | Article |
|---|---|
| Title: | Formal approach to fault diagnosis in distributed discrete event systems with OBDD |
| Keywords: | Fault diagnosis, Discrete event system, Petri net, OBDD |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record