PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers.
BARESI, LUCIANO;MAURI, MARCO;MONTI, ANTONELLO;PEZZE', MAURO
2000-01-01
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.
