Hasan, Osman.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
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.