Scopri
Tipologia
  • 5 Altro42
Autore
  • ROMANO SPICA, VINCENZO11
  • TERRACCIANO, GENNARO8
  • LENZI, FRANCESCA ROMANA6
  • PIAZZA, ANGELO6
  • CAPRANICA, LAURA3
  • MARI, FEDERICO3
  • VALERIANI, FEDERICA3
  • NACCARI, ALBA GIOVANNA ANNA2
  • CRESCIOLI, CLARA1
  • MAGNANINI, ANGELA1
Data di pubblicazione
  • 2020 - 20233
  • 2010 - 201911
  • 2000 - 200923
  • 1996 - 19995
Keyword
  • Formal Verification2
  • baskin1
  • educazione1
  • Formal Methods1
  • Hardware in the Loop Simulation1
  • HEALTH CITY INSTITUTE1
  • Hybrid Systems1
  • Model Checking1
  • Model Checking MAD systems1
  • Quantized Feedback Control Softwa...1
Lingua
  • ita26
  • eng10
  • fre2
Accesso al fulltext
  • no fulltext42