V. Roy. Autograph, un outil de visualisation pour les calculs de processus, 1990. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Modular State/Transition Approach for programming Reactive .. - Jourdan, Maraninchi (1994) (1 citation) (Correct)
....argos is currently used as the basis for the argonaute programming and verification environment. The compiler produces a labeled transition system, according to various formats, that allow the connection of argonaute to various existing tools. For instance, a user guided formatting tool: autograph [Roy90], for the automata produced by the compiler may be used to visualize the behaviour of a system. An interface generator: sahara [Ghe92] allows the graphical description of the interface in which the reactive kernel will be embedded; then the behaviour can be simulated interactively. autograph and ....
V. Roy. Autograph, un outil de visualisation pour les calculs de processus, 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC