語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Computer systems - Verification.
概要
作品:
8 作品在 2 項出版品 2 種語言
書目資訊
25 Years of Model CheckingHistory, Achievements, Perspectives /
by:
(書目-電子資源)
Principles of model checking
by:
(書目-語言資料,印刷品)
Verification and control of hybrid systemsa symbolic approach /
by:
(書目-電子資源)
Scalable techniques for formal verification
by:
(書目-電子資源)
The inverse methodparametric verification of real-time embedded systems /
by:
(書目-電子資源)
Dependable software systems engineering
by:
(書目-電子資源)
Formal system verificationstate-of the-art and future trends /
by:
(書目-電子資源)
Semi-physical verification technology for dynamic performance of internet of things system
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Communications Engineering, Networks.
Microwaves, RF and Optical Engineering.
Logics and Meanings of Programs.
Hybrid systems.
Digital control systems.
Radio frequency identification systems.
Computer systems
Programming Techniques.
Computer software
Electronic systems.
Electronics and Microelectronics, Instrumentation.
Programming Languages, Compilers, Interpreters.
Control.
Mathematics.
Formal methods (Computer science)
Computer-Aided Engineering (CAD, CAE) and Design.
Processor Architectures.
Vibration, Dynamical Systems, Control.
Models and Principles.
Automatic theorem proving.
Circuits and Systems.
Systems Theory, Control.
Embedded computer systems.
Computer Science.
Engineering.
Integrated circuits
Internet of things.
處理中
...
變更密碼
登入