Related content

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

Translation and Run-Time Validation of Loop Transformations

By Zuck Lenore   Pnueli Amir   Goldberg Benjamin   Barrett Clark   Fang Yi   Hu Ying  

Formal Methods in System Design, Vol. 27, Iss. 3, 2005-11 ,pp. : 335-360

Springer Publishing Company

Access to resources Recommend Favorite

Verification of System Level Model Transformations

By Abdi Samar   Gajski Daniel  

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

Springer Publishing Company

Access to resources Recommend Favorite

A validation of the penalty model for collisions

By Deguet A.   Joukhadar A.   Laugier C.  

Advanced Robotics, Vol. 13, Iss. 1-8, 1999-01 ,pp. : 691-702

Taylor & Francis Ltd

Access to resources Recommend Favorite

A validation of the penalty model for collisions

By Deguet A.   Joukhadar A.   Laugier C.  

Advanced Robotics, Vol. 13, Iss. 7, 1998-01 ,pp. : 691-702

Taylor & Francis Ltd

Access to resources Recommend Favorite