Closed christofferholmstedt closed 10 years ago
It's maybe possible to do some comparison with the SDM source. "The SDM source code has been released under public domain license"
It's hard to do a comparison on this "new" topic but the relation that I've added is the following in the state of the art.
"As this thesis work focus on Ada the SDM source code available in C++ could not be used but it relates closely. This thesis is the starting ground for an Ada implementation that would be interoperable with the SDM. In other words, a SPA network could consist of multiple SDM processing nodes and multiple processing nodes running the Ada source code."
Uppaal och SPA är bra beskrivet, men det saknas en jämförelse mellan Ditt arbete och andras arbete.