Leveraging Applications of Formal Methods, Verification and Validation: Tools an
67,86 €
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. - TraceVis: Towards Visualization for Deep Statistical Model Checking. - Engineering of Digital Twins for Cyber-Physical Systems.
Jetzt bei Ebay:
