The Formalization for UML Statechart Diagrams
SUN Meng,ZHANG Naixiao,Bernhard K Aichernig
Acta Scientiarum Naturalium Universitatis Pekinensis . 2005, (3): 344 -357 . 

Copyright © Acta Scientiarum Naturalium Universitatis Pekinensis, All Rights Reserved.
Powered by Beijing Magtech Co., Ltd.