Resultats de la cerca - Tang, Yiheng
- Mostrar 1 - 1 resultats de 1
-
Formal Verification in Automated Manufacturing per Tang, Yiheng
Publicat 2025Obtenir text complet
Online
Eines de cerca:
Matèries relacionades
Automation
Steuerungstechnik
automation
control technology
endlicher Automat
finite automaton
formal method
formale Methode
thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPC Computer aided manufacture (CAM)
thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering