External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Rigorous design of robot software: A formal component-based approach

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand. Rigorous design of robot software: A formal component-based approach. Robotics and Autonomous Systems, 60(12):1563-1578, 2012. [doi]

Authors

Tesnim Abdellatif

This author has not been identified. Look up 'Tesnim Abdellatif' in Google

Saddek Bensalem

This author has not been identified. Look up 'Saddek Bensalem' in Google

Jacques Combaz

This author has not been identified. Look up 'Jacques Combaz' in Google

Lavindra de Silva

This author has not been identified. Look up 'Lavindra de Silva' in Google

Félix Ingrand

This author has not been identified. Look up 'Félix Ingrand' in Google
runs on