Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMath1169.68524OpenAlexW2915402656MaRDI QIDQ5479151

Holger Hermanns, David N. Jansen, Li-jun Zhang

Publication date: 7 July 2006

Full work available at URL: https://doi.org/10.1007/11562436

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Runtime monitors for Markov decision processes ⋮ Data-driven modelling and probabilistic analysis of interactive software usage

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005