Natalia López

From MaRDI portal
Person:1882803

Available identifiers

zbMath Open lopez.nataliaMaRDI QIDQ1882803

List of research outcomes





PublicationDate of PublicationType
Validation of Stochastic Systems2009-07-24Paper
Assessing the Expressivity of Formal Specification Languages2009-04-28Paper
A Comparative Study of STOPA and RTPA2009-01-27Paper
SPAMR: Extending PAMR with Stochastic Time2008-08-28Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce2006-10-24Paper
Specification, testing and implementation relations for symbolic-probabilistic systems2006-04-28Paper
Formal Approaches to Software Testing2005-12-02Paper
An integrated framework for the performance analysis of asynchronous communicating stochastic processes2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q30458432004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30460002004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47375512004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44098622003-07-01Paper
https://portal.mardi4nfdi.de/entity/Q47918432003-02-03Paper
https://portal.mardi4nfdi.de/entity/Q49420262000-03-19Paper

Research outcomes over time

This page was built for person: Natalia López

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