About this scholarly article

2010 8th IEEE International Conference on Software Engineering and Formal Methods - TART: Timed-Automata to Real-Time Java Tool by Hakimipour, Niusha; Strooper, Paul; Wellings, Andy is a scholarly article available to read on EtoBox.

Author

Hakimipour, Niusha; Strooper, Paul; Wellings, Andy

Publisher

IEEE

Published

2010

Language

EN