System Modeling

  

Contact person: Prof. Mirco Tribastone mirco.tribastone@imtlucca.it

  • Markov chains;

  • Differential equations;

  • Abstraction Techniques.