Formal Modeling, Simulation, and Validation of Communication Platforms

Tony Modica. Formal Modeling, Simulation, and Validation of Communication Platforms. PhD thesis, Berlin Institute of Technology, 2012. [doi]

Abstract

Abstract is missing.