Opening book details…
About this scholarly article
2007 Canadian Conference on Electrical and Computer Engineering - Transformation of UML Models into Formal RTPA Specifications by Tian, Yousheng; Wang, Yingxu is a scholarly article available to read on EtoBox.
- Author
- Tian, Yousheng; Wang, Yingxu
- Publisher
- IEEE
- Published
- 2007