A Relational Model for Probabilistic Connectors based on Timed Data Distribution Streams

Published in Proceedings of International Conference on Formal Modeling and Analysis of Timed Systems, 2018

Recommended citation: Meng Sun, Xiyue Zhang. "A Relational Model for Probabilistic Connectors based on Timed Data Distribution Streams." Proceedings of International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS 2018. https://link.springer.com/chapter/10.1007/978-3-030-00151-3_8