Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach.
Chang-Jin KimJin-Young ChoiPublished in: Software Engineering Research and Practice (2006)
Keyphrases