Florence Maraninchi

From MaRDI portal
Person:1870862

Available identifiers

zbMath Open maraninchi.florenceMaRDI QIDQ1870862

List of research outcomes





PublicationDate of PublicationType
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip2009-12-02Paper
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework2006-12-14Paper
https://portal.mardi4nfdi.de/entity/Q44178932003-07-30Paper
Mode-automata: A new domain-specific construct for the development of safe critical systems.2003-05-14Paper
Argos: an automaton-based synchronous language2001-01-01Paper

Research outcomes over time

This page was built for person: Florence Maraninchi

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