A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Sorry, there's nothing here.

Cite this paper

@inproceedings{Truscan2014ATA, title={A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata}, author={Dragos Truscan and J{\"{u}ri Vain and Martin Koskinen and Junaid Iqbal}, booktitle={ICSOFT}, year={2014} }