Frédéric Boulanger

From MaRDI portal
Person:263273

Available identifiers

zbMath Open boulanger.fredericMaRDI QIDQ263273

List of research outcomes





PublicationDate of PublicationType
On the semantics of polychronous polytimed specifications2021-03-02Paper
A symbolic operational semantics for TESL -- with an application to heterogeneous system testing2017-12-01Paper
Minimum tree cost quartet puzzling2016-04-04Paper
A formal abstract framework for modelling and testing complex software systems2012-10-11Paper
Extending the Standard Execution Model of UML for Real-Time Systems2010-10-27Paper
Testing of Abstract Components2010-08-31Paper

Research outcomes over time

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

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