Open AccessMauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.
Author(s) -
Charles Lesire,
David Doose,
Hugues Cassé
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - dependability , computer science , embedded software , avionics software , component (thermodynamics) , software , robot , component based software engineering , software construction , software development , verification and validation , certification , software sizing , software engineering , systems engineering , reliability engineering , software framework , software quality , embedded system , engineering , operating system , artificial intelligence , physics , thermodynamics , operations management , law , political science