Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, S
68,64 €
HOFM 2014. - An Approach for Creating Domain Specific Visualisations of CSP Models. - On a Process Algebraic Representation of Sequence Diagrams. - Model-Based Verification of Safety Contracts. - A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.
Jetzt bei Ebay:
