MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Contributions for Modelling UML State-Charts in B." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Contributions for modelling UML state-charts in B  
  • by Hung Ledang, Jeanine Souquières, Loria Université, Nancy Umr — 2002 — In: Third International Conference on Integrated Formal Methods - IFM’2002
  • …Contributions for Modelling UML State-Charts in B Hung LEDANG and Jeanine SOUQUIÈRES LORIA…
  • Cited by 8 (2 self) – Add To MetaCart
  • Contributions for Modelling UML State-Charts in B  
  • by Hung Ledang And, Hung Ledang, Jeanine Souquires — 2002 — In: Third International Conference on Integrated Formal Methods - IFM’2002
  • …Contributions for Modelling UML State-Charts in B Hung LEDANG and Jeanine SOUQUIRES LORIA…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB