Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. Conferences uri icon

  •  
  • Overview
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

authors

  • Lawford, Mark
  • Marconi, Francesco
  • Bersani, Marcello M
  • Erascu, Madalina
  • Rossi, Matteo

publication date

  • 2016

published in