RUS  ENG
Full version
JOURNALS // Sibirskii Zhurnal Industrial'noi Matematiki // Archive
Sib. Zh. Ind. Mat., 2004 Volume 7, Number 1, Pages 151–165 (Mi sjim385)
This article is cited in 1 paper

A formal model of UML state machines

O. I. Chunikhin

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

UDC: 519.682.2:519.682.5/6:519.685.1

Received: 21.10.2003



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024