( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Explicit modeling of semantics associated with composite states in UML statecharts

, и . Automated Software Engineering, V13 (4): 423--467 (октября 2006)
DOI: 10.1007/s10515-006-0272-6

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Kevin Sol

Reinder Sol

Jan Sol any

Daniela Sol Weigel

Sol Naranjo Moreno

 

Другие публикации лиц с тем же именем

Consistency Checking of UML Dynamic Models Based on Petri Net Techniques Consistency Checking of UML Dynamic Models Based on Petri Net Techniques, , , и . Computing, 2006. CIC '06. 15th International Conference on, стр. 289--297. (2006)Component Based Multi-Agent System Modeling and Analysis: A Case Study., , и . Software Engineering Research and Practice, стр. 183-189. CSREA Press, (2007)A partitioning algorithm for distributed software systems design., и . Inf. Sci., 38 (2): 165-180 (1986)A Framework for Modeling Agent-Oriented Software., и . ICDCS, стр. 57-64. IEEE Computer Society, (2001)Derivation of Petri net models of Ada tasking constructs involving time., и . COMPSAC, стр. 24-31. IEEE, (1989)A Multi-State Bayesian Network for Shill Verification in Online Auctions., , и . SEKE, стр. 279-285. Knowledge Systems Institute Graduate School, (2010)A Security Based Model for Mobile Agent Software Systems., , и . Int. J. Softw. Eng. Knowl. Eng., 15 (4): 719-746 (2005)Formal modeling of synchronization methods for concurrent objects in Ada 95., , и . SIGAda, стр. 211-220. ACM, (1999)Optimizing Query Injection from Mobile Objects to Sensor Networks., и . ISADS, стр. 196-206. IEEE Computer Society, (2007)An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce., и . ISADS, стр. 11-18. IEEE Computer Society, (2001)