Robotique
Efficient representation for formal verification of time performances of networked automation architectures
17th IFAC World Congress -
Affichage des publications 681 à 690 sur 851 au total
Robotique
17th IFAC World Congress -
Mechanical engineering
5eme Assises Machines et Usinage Grande Vitesse -
Réseaux et télécommunications
Computer Communications -
Robotique
Conférence Internationale Francophone d'Automatique -
Robotique
2nd International Workshop on Verification and Evaluation of Computer and Communication Systems -
Mechanical engineering
Virtual and Physical Prototyping -
Robotique
Conférence Internationale Francophone d'Automatique, CIFA 2008 -
Robotique
9th International Workshop On Discrete Event Systems, WODES'08 -
Robotique
Conférence Internationale Francophone d'Automatique, CIFA 2008 -