Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects
Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
研究成果: Conference contribution
4
被引用数
(Scopus)