Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal

Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal

AED620.00
(0) Write a Review
SKU:
9781289283148
UPC:
9781289283148

Product Description

ISBN: 9781289283148
TITLE: Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal
AUTHOR: Nasa Technical Reports Server
PUBLISHER: Bibliogov
PUBLISHER DATE: 6 Aug 2013

Other Details

ISBN:
9781289283148
Author:
Nasa Technical Reports Server
Publisher:
Bibliogov
Publisher Date:
6 Aug 2013
Book Format:
Paperback

Related Products

Popular Trending Products