Olivier Baldellon. Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel. (Online monitoring of temporal properties in real-time distributed systems). PhD thesis, National Polytechnic Institute of Toulouse, France, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.