An algebraic theory for behavioral modeling and protocol synthesis in system design

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.28, Iss.2, 2006-03, pp. : 131-151

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

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking

By Talpin Jean-Pierre Guernic Paul Shukla Sandeep Gupta Rajesh

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 613-643

Springer Publishing Company

Access to resources Recommend Favorite

Optimum assembly design utilizing a behavioral modeling concept

By Lin Y.J. Farahati R

Assembly Automation, Vol. 23, Iss. 2, 2003-04 ,pp. : 181-191

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Synthesis on forward kinematics problem algebraic modeling for the planar parallel manipulator: displacement-based equation systems

By Rolland Luc

Advanced Robotics, Vol. 20, Iss. 9, 2006-09 ,pp. : 1035-1065

Taylor & Francis Ltd

Access to resources Recommend Favorite

Synthesis of the forward kinematics problem algebraic modeling for the general parallel manipulator: displacement-based equations

By Rolland Luc

Advanced Robotics, Vol. 21, Iss. 9, 2007-09 ,pp. : 1071-1092

Taylor & Francis Ltd

Access to resources Recommend Favorite

Algebraic modeling for IP and MIP (GAMS)

By Bussieck Michael

Annals of Operations Research, Vol. 149, Iss. 1, 2007-02 ,pp. : 49-56

Springer Publishing Company

Access to resources Recommend Favorite