Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems
Capitolo di libro
Data di Pubblicazione:
2008
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Lamperti, Gian Franco; Zanella, Marina; G., Chiodi; L., Chiodi
Link alla scheda completa:
Titolo del libro:
Knowledge-Based Intelligent Information and Engineering Systems