Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Monday, September 5 • 11:40 - 12:00
CP meets Verification Workshop
    See presentations
  • 11h40-12h05: An Improved Constraint Programming Model for Parametric Interval Markov Chain Verification, Anicet Bart, Benoît Delahaye, Éric Monfroy, Charlotte Truchet

Moderators
Speakers
avatar for Anicet Bart

Anicet Bart

LINA - Ecole des Mines de Nantes


Monday September 5, 2016 11:40 - 12:00
B202 Bosco building

Attendees (5)