Skip to main content

and
  1. No Access

    Book and Conference Proceedings

    Performance Engineering and Stochastic Modeling

    17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings

    Paolo Ballarini, Hind Castel in Lecture Notes in Computer Science (2021)

  2. No Access

    Chapter and Conference Paper

    Performance Analysis of Production Lines Through Statistical Model Checking

    Design and maintenance of reliable manufacturing systems calls for the development of formal models that allow for performance analysis. We consider the class of manufacturing systems such that the production ...

    Paolo Ballarini, András Horváth in Performance Engineering and Stochastic Modeling (2021)