Assembly with co-operating robots

By Cardarelli Gino   Palumbo Mario   Pelagagge Pacifico Marcello  

Assembly Automation, Vol. 15, Iss. 2, 1995-02 ,pp. : 36-40

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A Proposed Hybrid Recurrent Neural Control System for Two Co-operating Robots

By Yildirim Şahin  

Journal of Intelligent and Robotic Systems, Vol. 42, Iss. 1, 2005-01 ,pp. : 95-111

Springer Publishing Company

Access to resources Recommend Favorite

Model-based construction and verification of critical systems using composition and partial refinement

By Jeffords Ralph  

Formal Methods in System Design, Vol. 37, Iss. 2-3, 2010-12 ,pp. : 265-294

Springer Publishing Company

Access to resources Recommend Favorite

Verification of SpecC using predicate abstraction

By Clarke Edmund   Jain Himanshu   Kroening Daniel  

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 5-28

Springer Publishing Company

Access to resources Recommend Favorite

ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments

By Urban Josef  

Mathematics in Computer Science, Vol. 2, Iss. 2, 2008-12 ,pp. : 231-251

Springer Publishing Company

Access to resources Recommend Favorite