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
    Added to opam-repository
  2. lascar

    No 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
    Added to opam-repository
  3. rfsm
    Documentation
    A toolset for describing and simulating StateChart-like state diagrams
    Jocelyn Sérot <jocelyn.serot@uca.fr>
    2.3
    MIT
    Used by 0 other packages
    Added to opam-repository