Skip to content

florent peres

  • Post-doc
  • Masaryk University Department of Nursing Care
  • 1PublicationsNumber of items in florent's My Publications folder on Mendeley.
  • 2Followers

Research interests

Timed Automata) Domain Specific Languages (for real-time systems) Discrete Event Systems (diagnosability)Verification (mainly Model checking) Modelisation (Time Petri nets

Followers (2)

Following (2)

Publications (1)

  • Composer les réseaux de Petri temporels

    N/AReaders
    N/ACitations

Professional experience

Post-doc

Masaryk University

September 2012 - Present

Post-doc

IFSTTAR

March 2010 - September 2012(3 years)

Phd Student

LAAS-CNRS / Airbus

November 2005 - January 2010(4 years)