Hasan, Osman.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers /
by:
Mallet, Frédéric.; SpringerLink (Online service); Hasan, Osman.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
by:
Bastaki, Nabil.; SpringerLink (Online service); Hasan, Osman.; Ahmed, Asad.; Awwad, Falah.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Electric power distribution.
Power resources.
Power Electronics.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Control Structures and Microprogramming.
Cyber-Physical Systems.
Simulation and Modeling.
Energy Grids and Networks.
Theory of Computation.
Logic in AI.
Computers.
Natural Resource and Energy Economics.
Microprogramming .
Special purpose computers.
Computer simulation.
Cooperating objects (Computer systems).
Computer communication systems.
Power electronics.
Special Purpose and Application-Based Systems.