María Emilia Cambronero

From MaRDI portal
Person:436360

Available identifiers

zbMath Open cambronero.maria-emiliaMaRDI QIDQ436360

List of research outcomes





PublicationDate of PublicationType
Runtime verification of contracts with Themulus2021-07-08Paper
Discussion on: ``Formal specification method for systems automation2014-08-07Paper
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets2012-07-20Paper
Validation and verification of web services choreographies by using timed automata2011-01-07Paper
A barred operational semantics for a subset of WS-CDL with time restrictions2009-11-04Paper
A Petri net approach for the design and analysis of web services choreographies2009-07-20Paper

Research outcomes over time

This page was built for person: María Emilia Cambronero

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