Creating and sharing knowledge for telecommunications

DEFENDED PHD THESIS

Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems.

David João Barros Henriques
Supervisors: Paulo Alexandre Carreira Mateus, ,
University: Instituto Superior Técnico
Defense date: 9 / 2016
Keywords: