Abstract property language for MDG model checking methodology

By Abed Sa'ed   Hussain Kamran   Ait-Mohamed Otmane  

International Journal of Computer Applications in Technology, Vol. 44, Iss. 1, 2012-07 ,pp. : 23-36

Inderscience Publishers

Access to resources Recommend Favorite

On the Finite Termination of an Entropy Function Based Non-Interior Continuation Method for Vertical Linear Complementarity Problems

By Fang Shu-Cherng   Han Jiye   Huang Zheng-Hai   İlker Bİrbİl Ş.  

Journal of Global Optimization, Vol. 33, Iss. 3, 2005-11 ,pp. : 369-391

Springer Publishing Company

Access to resources Recommend Favorite

Termination modulo equations by abstract commutation with an application to iteration

By Fokkink W.   Zantema H.  

Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. : 407-423

Elsevier

Access to resources Recommend Favorite

A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations

By Girard J-F.  

Automated Software Engineering, Vol. 6, Iss. 4, 1999-10 ,pp. : 357-386

Springer Publishing Company

Access to resources Recommend Favorite

Collision avoidance using a free space enumeration method based on grid expansion

By Kondo Koichi   Kimura Fumihiko  

Advanced Robotics, Vol. 3, Iss. 3, 1988-01 ,pp. : 159-175

Taylor & Francis Ltd

Access to resources Recommend Favorite