Frédéric Dadeau

From MaRDI portal
Person:493528

Available identifiers

zbMath Open dadeau.fredericMaRDI QIDQ493528

List of research outcomes





PublicationDate of PublicationType
A compositional automata-based semantics and preserving transformation rules for testing property patterns2015-09-03Paper
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance2008-11-11Paper
FM 2005: Formal Methods2006-01-10Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
ZB 2005: Formal Specification and Development in Z and B2005-11-10Paper

Research outcomes over time

This page was built for person: Frédéric Dadeau

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