Verifying Object-based Graph Grammars: An Assume-guarantee Approach

Author： Dotti Fernando   Ribeiro Leila   Santos Osmar   Pasini Fábio  

Publisher： Springer Publishing Company

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.5, Iss.3, 2006-09, pp. : 289-311

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

An object-based classification approach for surface water detection

By Xiao G.   Tien David  

International Journal of Intelligent Systems Technologies and Applications, Vol. 9, Iss. 3-4, 2010-11 ,pp. : 218-227

Inderscience Publishers

Access to resources Recommend Favorite

Visual Equivalence: an Object-based Approach to Image Quality

By Ferwerda James A.   Ramanarayanan Ganesh   Walter Bruce   Bala Kavita  

Color and Imaging Conference, Vol. 2008, Iss. 1, 2008-01 ,pp. : 347-354

Society for Imaging Science and Technology

Access to resources Recommend Favorite

A Similarity-Based Aspect-Graph Approach to 3D Object Recognition

By Cyr Christopher M.   Kimia Benjamin B.  

International Journal of Computer Vision, Vol. 57, Iss. 1, 2004-04 ,pp. : 5-22

Springer Publishing Company

Access to resources Recommend Favorite

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

By  

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 6, Iss. 2, 2015-04 ,pp. : 48-64

IGI Global_journal

Access to resources Recommend Favorite

A Query Language for XML Based on Graph Grammars

By Flesca S.   Furfaro F.   Greco S.  

World Wide Web, Vol. 5, Iss. 2, 2002-01 ,pp. : 125-157

Springer Publishing Company

Access to resources Recommend Favorite