3 search results for "author:"jocelyn.serot@uca.fr""

Showing 1 - 3
  1. fsml
    Documentation
    A library for describing and describing synchronous finite state machines
    Jocelyn Sérot <jocelyn.serot@uca.fr>
    0.3.0
    MIT
    Used by 0 other packages
    10 Mar 2021
  2. lascar
    Documentation
    A library for manipulating Labeled Transition Systems in OCaml
    Jocelyn Sérot <jocelyn.serot@uca.fr>
    0.7.0
    MIT
    Used by 1 other packages
    08 Mar 2021
  3. rfsm
    Documentation
    A toolset for describing and simulating StateChart-like state diagrams
    Jocelyn Sérot <jocelyn.serot@uca.fr>
    2.0
    MIT
    Used by 0 other packages
    12 Dec 2023