Jean-Claude Royer

From MaRDI portal
Person:1403216

Available identifiers

zbMath Open royer.jean-claudeMaRDI QIDQ1403216

List of research outcomes





PublicationDate of PublicationType
Efficiently Characterizing the Undefined Requests of a Rule-Based System2023-06-28Paper
Bounded analysis and decomposition for behavioural descriptions of components2021-05-25Paper
https://portal.mardi4nfdi.de/entity/Q44591162004-03-25Paper
An operational approach to the semantics of classes: Application to type checking2003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q27671722002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27641142002-01-22Paper
The Korrigan environment2001-05-13Paper
https://portal.mardi4nfdi.de/entity/Q48962501996-10-20Paper

Research outcomes over time

This page was built for person: Jean-Claude Royer

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