Jean-Luc Richier
From MaRDI portal
Person:548695
Available identifiers
zbMath Open richier.jean-lucMaRDI QIDQ548695
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Runtime enforcement monitors: Composition, synthesis, and enforcement abilities | 2011-06-30 | Paper |
| Test Generation for Network Security Rules | 2007-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934527 | 2000-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677158 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681912 | 1985-01-01 | Paper |
| Homomorphism equivalence on etol languages† | 1979-01-01 | Paper |
Research outcomes over time
This page was built for person: Jean-Luc Richier