IRIS

A Formal Approach to System Level Design: Metamodels and Unified Design Environments

Passerone, Roberto;
2005-01-01
2005
Proceedings of the Third ACM and IEEE International Conference on Formal Methods and Models for Codesign
New York, N.Y.
IEEE Press
2-s2.0-33745163966
WOS:000231876600018
F., Balarin; Passerone, Roberto; A., Pinto; A. L., Sangiovanni Vincentelli
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/11572/78104
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 4
  • OpenAlex ND
social impact