( en | de | ru )

 

Disambiguierung von "Shatz, Sol M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A toolkit for automated support of Ada tasking analysis.

, , , und . ICDCS, Seite 595-602. IEEE Computer Society, (1989)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kevin Sol

Reinder Sol

Jan Sol any

Daniela Sol Weigel

Sol Naranjo Moreno

 

Weitere Publikationen von Autoren mit dem selben Namen

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