Massimo Sciancalepore

Sisinf Lab logo

Research Interests

 
  • Self-adaptive systems
  • Model Checking and UPPAAL
  • Formal verification
 
 

Valid XHTML 1.1   Valid CSS

:: hosted by SisInf Lab http://sisinflab.poliba.it ::