Software organization and properties

  1. Home
  2. Research
  3. Research areas
  4. Software organization and properties
Massimo Merro
Full Professor
Research interests
Topic People Description
Verification of wireless network protocols Massimo Merro
Semantics-based and model-checking techniques for the verification of wireless network protocols.

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share