PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers.

BARESI, LUCIANO;MAURI, MARCO;MONTI, ANTONELLO;PEZZE', MAURO
2000-01-01

2000
SMC
0780365836
INF
File in questo prodotto:
File Dimensione Formato  
2000 Baresi.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 695.81 kB
Formato Adobe PDF
695.81 kB Adobe PDF   Visualizza/Apri

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/11311/558797
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 47
  • ???jsp.display-item.citation.isi??? 28
social impact