Musab A. Alturki

From MaRDI portal
Person:2303373

Available identifiers

zbMath Open alturki.musab-aMaRDI QIDQ2303373

List of research outcomes





PublicationDate of PublicationType
On the formalization and computational complexity of resilience problems for cyber-physical systems2023-07-28Paper
A multiset rewriting model for specifying and verifying timing aspects of security protocols2020-03-03Paper
Executable rewriting logic semantics of Orc and formal analysis of Orc programs2015-06-15Paper

Research outcomes over time

This page was built for person: Musab A. Alturki

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