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