> > > > > formal-verification-of-a-power-controller-using-the-realtime-model-checker-uppaal

Formal Verification Of A Power Controller Using The Real-time Model Checker Uppaal

Het boek Formal Verification Of A Power Controller Using The Real-time Model Checker Uppaal is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Formal Verification Of A Power Controller Using The Real-time Model Checker Uppaal" is nieuw te koop vanaf € 14,69 bij Bol.com.

Nieuw (1) vanaf € 14,69 bij Bol.com Toon 1 nieuw boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 1 nieuw boek gevonden
Formal Verification Of A Power Controller Using The Real-time Model Checker Uppaal

Type: Paperback
ISBN: 9781289283148
Levertijd: 23

Aanbieder:
€ 14,69
Bekijk boek