3 search results for "author:"Jocelyn Sérot <jocelyn.serot@uca.fr>""

Showing 1 - 3
  1. A library for describing and describing synchronous finite state machines
    0.3.0
    MIT
    Used by 0 other packages
    10 Mar 2021
  2. A library for manipulating Labeled Transition Systems in OCaml
    0.7.0
    MIT
    Used by 1 other packages
    08 Mar 2021
  3. A toolset for describing and simulating StateChart-like state diagrams
    2.0
    MIT
    Used by 0 other packages
    12 Dec 2023