IRIS

Sfoglia per Autore  MAGAZZENI, DANIELE

Opzioni
Mostrati risultati da 1 a 5 di 5
Titolo Data di pubblicazione Autore(i) File
Automatic generation of optimal controllers through model checking techniques 1-gen-2006 DELLA PENNA, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers 1-gen-2007 DELLA PENNA, Giuseppe; Fallucchi, Francesca; Intrigila, Benedetto; Magazzeni, Daniele
OBDD compression of numerical controllers 1-gen-2008 DELLA PENNA, Giuseppe; Lauri, Nadia; Magazzeni, Daniele; Intrigila, Benedetto
Verifying Extended Criteria for the Interoperability of Security Devices 1-gen-2008 Maurizio, Talamo; Franco, Arcieri; DELLA PENNA, Giuseppe; Andrea, Dimitri; Benedetto, Intrigila; Magazzeni, Daniele
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques 1-gen-2008 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Magazzeni, Daniele
Mostrati risultati da 1 a 5 di 5
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile