MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formalizing UML Models and OCL Constraints in PVS." – 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
  • Formalizing UML Models and OCL Constraints in PVS  
  • by Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark Van Der Zwaag, Tamarah Arons, Hillel Kugler — 2004
  • …SFEDL’04 Preliminary Version Formalizing UML Models and OCL Constraints in PVS 1 Marcel Kyas…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB