Zhaoxia Hu, Sol M. Shatz Explicit modeling of semantics associated with composite states in UML statecharts. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2006, v:13, n:4, pp:423-467 [Journal]
Karsten Loer, Michael D. Harrison An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2006, v:13, n:4, pp:469-496 [Journal]
Amel Mammar, Régine Laleau A formal approach based on UML and B for the specification and development of database applications. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2006, v:13, n:4, pp:497-528 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP