Moez Yeddes

From MaRDI portal
Person:4974709

Available identifiers

zbMath Open yeddes.moezMaRDI QIDQ4974709

List of research outcomes





PublicationDate of PublicationType
Timed bounded verification of inclusion based on timed bounded discretized language2021-04-19Paper
Modifying Security Policies for the Satisfaction of Intransitive Non-Interference2017-08-08Paper
Characterizing intransitive noninterference for 3-domain security policies with observability2017-07-12Paper
A MIXED INTEGER DYNAMIC PROGRAMMING APPROACH TO A CLASS OF OPTIMAL CONTROL PROBLEMS IN HYBRID SYSTEMS2006-09-25Paper

Research outcomes over time

This page was built for person: Moez Yeddes

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