Automatic
Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras
International Journal of Systems Science -
Affichage des publications 201 à 210 sur 850 au total
Automatic
International Journal of Systems Science -
Génie mécanique
Measurement Science and Technology -
Automatic
Indonesian Journal of Electrical Engineering and Computer Science -
Robotique
15th Workshop on Discrete Event Systems, (WODES’20) -
Mécanique des matériaux
Optics and Lasers in Engineering -
Mechanical engineering
International Journal of Advanced Manufacturing Technology -
Automatic
The 25th Annual Conference on Emerging Technologies and Factory Automation (ETFA 2020) -
Robotique
15th Workshop on Discrete Event Systems, (WODES’20) -
Robotique
IEEE Transactions on Automation Science and Engineering -