Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Ahmed, Asad.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal analysis of future energy systems using interactive theorem proving by: Ahmed, Asad.; SpringerLink (Online service) (Electronic resources)

Subjects

Cyber-physical systems, IoT. Smart power grids- Computer simulation. Formal methods (Computer science) Automatic theorem proving. Power Electronics, Electrical Machines and Networks. Smart power grids- Mathematical models. Natural Resource and Energy Economics.

Change password

Login