Catalogo dei prodotti della ricerca

Automatic Synthesis of Controllers from Formal Specification

Automatic Synthesis of Controllers from Formal Specification / Tronci, Enrico. - STAMPA. - (1998), pp. 134-143. (Intervento presentato al convegno Proceedings Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, tenutosi a Brisbane, Queensland, Australia nel 9-11 December, 1998).

Automatic Synthesis of Controllers from Formal Specification

TRONCI, Enrico
1998

Abstract

Automatic Synthesis of Controllers from Formal Specification
1998
Proceedings Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998,
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Automatic Synthesis of Controllers from Formal Specification / Tronci, Enrico. - STAMPA. - (1998), pp. 134-143. (Intervento presentato al convegno Proceedings Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, tenutosi a Brisbane, Queensland, Australia nel 9-11 December, 1998).
04b Atto di convegno in volume
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/207473
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? ND
social impact