1
Dastani, Mehdi.
2015
Table of Contents:
“... Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol...”2015
Full text