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