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

By Dotti Fernando   Ribeiro Leila   Santos Osmar   Pasini Fábio  

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

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

Cooperation in context-free grammars

By Dassow J.   Mitrana V.  

Theoretical Computer Science, Vol. 180, Iss. 1, 1997-06 ,pp. : 353-361

Elsevier

Access to resources Recommend Favorite

Quantum automata and quantum grammars

By Moore C.   Crutchfield J.P.  

Theoretical Computer Science, Vol. 237, Iss. 1, 2000-04 ,pp. : 275-306

Elsevier

Access to resources Recommend Favorite

Probabilistic hyperedge replacement grammars

By Mosbah M.  

Theoretical Computer Science, Vol. 159, Iss. 1, 1996-05 ,pp. : 81-102

Elsevier

Access to resources Recommend Favorite