MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Translating Statecharts to B." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Translating Statecharts to B  
  • by Emil Sekerinski, Rafik Zurob — 2002 — Proc. of the 3rd International Conference on Integrated Formal Methods (IFM’02), volume 2335 of LNCS
  • Translating Statecharts to B £ Emil Sekerinski and Rafik Zurob McMaster University, Department…
  • Cited by 8 (1 self)Add To MetaCart
  • The Reactive System Development Support Tool  
  • by Kalliopi Androutsopoulos Development, Kalliopi Androutsopoulos, Supervisor Dr. Kevin Lano — 1999
  • … support for translation of the statecharts into B specication. Also, the tool must provide general…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB