Symbolic Transtion System

From: Olivier (olivier.marechal_at_laposte.net)
Date: 03/11/04

  • Next message: angeles: "Build multiple junit test cases with single junit test class" 
    Date: Thu, 11 Mar 2004 21:02:09 +0100

    For a project, I have to use special sort of finite states automata called
    Symbolic Transition Systems.

    I don't find a library on the net for the moment.

    Does anyone knows where I could find this sort of thing ?

    Thanks,

    Olivier

  • Next message: angeles: "Build multiple junit test cases with single junit test class"

    Relevant Pages

    • Re: Symbolic Transtion System
      ... Olivier wrote: ... I have to use special sort of finite states automata ... > called Symbolic Transition Systems. ...
      (comp.lang.java.softwaretools)
    • Symbolic Transition System
      ... I have to use special sort of finite states automata called ... Symbolic Transition Systems. ... Olivier ...
      (comp.lang.java.programmer)