Juan José Pardo

From MaRDI portal
Person:436359

Available identifiers

zbMath Open pardo.juan-joseMaRDI QIDQ436359

List of research outcomes





PublicationDate of PublicationType
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets2012-07-20Paper
BAL Tool in Flexible Manufacturing Systems2011-01-21Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce2006-10-24Paper
https://portal.mardi4nfdi.de/entity/Q30452742004-08-12Paper
Algebraic theory of probabilistic and nondeterministic processes.2003-08-13Paper

Research outcomes over time

This page was built for person: Juan José Pardo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:436359&oldid=11963629"
Powered by MediaWiki