Lucas Oleksinski

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
During the construction of modern systems, both the satisfaction of functional properties and the ability to assert levels of performance and availability of these systems are necessary. In this sense, several modelling formalisms rely on abstractions and tools to support both the verification of functionality and perform quantitative analysis. Stochastic(More)
  • 1