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

By Talpin Jean-Pierre   Guernic Paul  

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

Springer Publishing Company

Access to resources Recommend Favorite

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

Design for assembly

By Khan Zulki  

Assembly Automation, Vol. 28, Iss. 3, 2008-08 ,pp. : 200-206

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A universal concept for cylinder-head assembly

By Hemmingson Eric  

Assembly Automation, Vol. 8, Iss. 2, 1993-12 ,pp. : 77-81

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Optimum Spatial Design for Thematic Maps

By Crawford P. V.  

The Cartographic Journal, Vol. 13, Iss. 2, 1976-12 ,pp. : 134-144

Maney Publishing

Access to resources Recommend Favorite