Formal Analysis of Future Energy Systems Using Interactive...

Main
Engineering
Formal Analysis of Future Energy...

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Name: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
ISBN: 9783030784096

Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil

0 / 0

0 comments

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Addresses the formal verification of smart grids using interactive theorem proving
Assesses energy systems cost-effectiveness, efficiency, and quality-of-service
Offers generalized theories applicable to a wide range of hardware and software systems

Catégories:

Engineering

Année:

2021

Editeur::

Springer

Langue:

english

Pages:

373

ISBN 10:

3030784096

ISBN 13:

9783030784096

Collection:

SpringerBriefs in Applied Sciences and Technology

Fichier:

EPUB, 6.02 MB

IPFS:

english, 2021

Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Formal Analysis of Future Energy Systems Using Interactive...

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Mots Clefs

Les listes de livres associées