Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification
Proceedings of International Workshop on Informatics, pp.98-105 (2008)
タグ: stepwise, design, real-time, uml/ocl, formal, verification
@inproceedings{TakeshiNagaoka2008c,
author = {Takeshi Nagaoka and Kozo Okano and Shinji Kusumoto},
title = {Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification},
booktitle = {Proceedings of International Workshop on Informatics},
pages = {98--105},
year = {2008},
month = {sep}
}