MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Auto/Autograph." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 25 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • User Manual  
  • by Amar Bouali Annie, Annie Ressouche, Robert Simone, Inria Sophia Antipolis, Route Des Lucioles, Place Sohia Laffitte, Sophia Antipolis, Sophia Antipolis
  • ….P. 207 F-06904 Sophia Antipolis cedex Abstract We describe a set of modular extensions to our Auto/Graph…
  • Add To MetaCart
  • User Manual  
  • by Annie Ressouche Robert, Robert Simone, Inria Sophia Antipolis, Route Des Lucioles, Place Sohia Laffitte, Sophia Antipolis
  • ….P. 207 F-06904 Sophia Antipolis cedex Abstract We describe a set of modular extensions to our Auto/Graph…
  • Add To MetaCart
  • The FCTOOLS User Manual (Version 1.0)  
  • by Valérie Roy, Amar Bouali, Amar Bouali, Annie Ressouche, Annie Ressouche, Robert de Simone, Robert De Simone, Projet Meije — 1996
  • … pages Abstract: We describe a set of modular extensions to our Auto/Graph verication toolset…
  • Cited by 1 (0 self) – Add To MetaCart
  • An Exercise in Protocol Verification  
  • by Gnesi Madelaine Ristori, S. Gnesi, E. Madelaine, G. Ristori
  • … of automata. ffl AutoGraph, for the graphical display of automata. ffl A model checker based on EMC [4…
  • Add To MetaCart
  • New Generation of UPPAAL  
  • by Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Yi Wang, Carsten Weise — 1998
  • … as well as an editor for the requirements specification. AutoGraph is used as a graphical editor…
  • Cited by 41 (3 self) – Add To MetaCart
  • DEMOS at CONCUR96  
  • by Corrado Priami (Ed.), Corrado Priami, Eike Best, Burkhard Bieber, Bernd Grahlmann — 1996
  • … Simone 2 The Auto/Graph toolset developed in our group was a pioneering software for analysis…
  • Add To MetaCart
  • Formal Mission Specification In An Open Architecture  
  • by Bernard Espiau, Konstantinos Kapellos, Ève Coste-Manière, Nicolas Turro — 1996
  • … validation. For this purpose, Esterel is used as a language of speci��cation and Auto/Graph tools…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB