Liujuan Mei
From MaRDI portal
Person:826780
Available identifiers
zbMath Open mei.liujuanMaRDI QIDQ826780
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 |
|---|---|---|
| Matrix approach for verification of opacity of partially observed discrete event systems | 2023-08-25 | Paper |
| \(k\)-memory-embedded insertion mechanism for opacity enforcement | 2021-01-06 | Paper |
Research outcomes over time
This page was built for person: Liujuan Mei
