Formal Modeling and Analysis of Timed Systems: 17th International Conference, Formats 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceeding » książka
Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data.- Timed systems.- Linear and Non-linear Systems.- Timed Automata.- Special Session on Timed Systems and Probabilities.