Quantitative Model Checking - PhD School

  • Mihail-Octavian Staicu (Participant)

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Description

The lectures will present advances within this broad field of quantitative model checking, providing an in-depth account of state-of-the-art modeling and logical formalisms, model checking algorithms as well as practical applications and offering hands-on
Period2 Mar 2010 → 5 Mar 2010
Event typeEducation
LocationCopenhagen, IT UniversityShow on map

Documents & Links

Related content