Heterogeneous modeling of live sequence charts and statecharts (R)
Das, Jayanta
Heterogeneous modeling of live sequence charts and statecharts (R) - - Mumbai IIT 2014 - ii,93 p. 30 cm - .
Krishna, S.N. and Pandya, Paritosh K.
Theses and Dissertations
Computer software-Verification , Electronic data processing-Distributed processing , Computer multitasking , Statecharts(Computer science)
043:681.3.06:681.327.8Das
Heterogeneous modeling of live sequence charts and statecharts (R) - - Mumbai IIT 2014 - ii,93 p. 30 cm - .
Krishna, S.N. and Pandya, Paritosh K.
Theses and Dissertations
Computer software-Verification , Electronic data processing-Distributed processing , Computer multitasking , Statecharts(Computer science)
043:681.3.06:681.327.8Das