Régine Laleau

From MaRDI portal
Person:736836

Available identifiers

zbMath Open laleau.regineMaRDI QIDQ736836

List of research outcomes





PublicationDate of PublicationType
Towards leveraging domain knowledge in state-based formal methods2022-03-22Paper
Refinement patterns for ASTDs2016-08-05Paper
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress2012-06-08Paper
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress2012-06-08Paper
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress2012-06-08Paper
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned2011-05-12Paper
https://portal.mardi4nfdi.de/entity/Q44722052004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44369552003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q44369812003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q27724612002-02-19Paper

Research outcomes over time

This page was built for person: Régine Laleau

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