Formal Verification in Automated Manufacturing

In recent decades, discrete-event modelling has been widely utilised to address control engineering problems. Comparing with conventional dynamic system modelling where physical behaviour is explicitly to describe, discrete-event modelling focuses on a more abstract level where logical behaviour is...

पूर्ण विवरण

ग्रंथसूची विवरण

मुख्य लेखक:	Tang, Yiheng
स्वरूप:	Online
भाषा:	अंग्रेज़ी
प्रकाशित:	FAU University Press 2025
विषय:	control technology formale Methode Automation formal method Steuerungstechnik automation finite automaton endlicher Automat thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPC Computer aided manufacture (CAM)
ऑनलाइन पहुंच:	ONIX_20251215T160010_9783961477449_33
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!