On institutions for modular coalgebraic specifications

By Kurz A.   Hennicker R.  

Theoretical Computer Science, Vol. 280, Iss. 1, 2002-05 ,pp. : 69-103

Elsevier

Access to resources Recommend Favorite

On categorical equivalence of Gentzen-style derivations in IMLL

By Soloviev S.   Orevkov V.  

Theoretical Computer Science, Vol. 303, Iss. 1, 2003-06 ,pp. : 245-260

Elsevier

Access to resources Recommend Favorite

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

By Morasca S.  

Automated Software Engineering, Vol. 7, Iss. 2, 2000-05 ,pp. : 125-155

Springer Publishing Company

Access to resources Recommend Favorite

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

By Gnesi S.   Latella D.   Massink M.  

Journal of Logic and Algebraic Programming, Vol. 51, Iss. 1, 2002-04 ,pp. : 43-75

Elsevier

Access to resources Recommend Favorite

Design of heartbeat invalidation detecting mechanism in triple modular redundancy multi-machine system

By Zou Jian-xiao   Zhang Zheng-qian   Xu Hong-bing  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 29, Iss. 2, 2010-03 ,pp. : 495-504

Emerald Group Publishing Ltd

Access to resources Recommend Favorite