Diagrammatic Specification and Verification of Mobile Real-Time Systems

Sorry, there's nothing here.

Cite this paper

@inproceedings{Linker2010DiagrammaticSA, title={Diagrammatic Specification and Verification of Mobile Real-Time Systems}, author={Sven Linker}, booktitle={AlgoSyn}, year={2010} }