Bicocca Open Archive

Logo unimib boa

Bertani, A., Castelnovo, W., Ciapessoni, E., Mauri, G. (1999). Natural Language Translations of Formal Specifications for Complex Industrial Systems. In Atti Convegno Annuale AI*IA (pp.185-194).

Natural Language Translations of Formal Specifications for Complex Industrial Systems

MAURI, GIANCARLO
1999
slide + paper
natural language; formal specifications; complex industrial systems
English
Convegno Annuale AI*IA
1999
Atti Convegno Annuale AI*IA
1999
185
194
none
Bertani, A., Castelnovo, W., Ciapessoni, E., Mauri, G. (1999). Natural Language Translations of Formal Specifications for Complex Industrial Systems. In Atti Convegno Annuale AI*IA (pp.185-194).
02 - Intervento a convegno
File in 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/10281/17484
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact