Verification of System Level Model Transformations

ISSN： 0885-7458

Source： International Journal of Parallel Programming, Vol.34, Iss.1, 2006-03, pp. : 29-59

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

Abstract

Related content

Bytecode Verification by Model Checking

By Basin David Friedrich Stefan Gawkowski Marek

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 399-444

Springer Publishing Company

Access to resources Recommend Favorite

Verification of the Mathematical Model of a Multidimensional Dynamic System for Adequacy Based on the Spectral Norm of a Residual Matrix

By Hajiyev Ch.

Automation and Remote Control, Vol. 66, Iss. 9, 2005-09 ,pp. : 1409-1422

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Definition and validation of model transformations

By Küster Jochen

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

Springer Publishing Company

Access to resources Recommend Favorite

The design of a language for model transformations

By Agrawal Aditya Karsai Gabor Neema Sandeep Shi Feng Vizhanyo Attila

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

Springer Publishing Company

Access to resources Recommend Favorite

Fuzzy control of an ANFIS model representing a nonlinear liquid-level system

By Engin S. Kuvulmaz J. Ömurlü V.

Neural Computing & Applications, Vol. 13, Iss. 3, 2004-09 ,pp. : 202-210

Springer Publishing Company

Access to resources Recommend Favorite