Hao Lan

From MaRDI portal
Person:2023239

Available identifiers

zbMath Open lan.haoMaRDI QIDQ2023239

List of research outcomes





PublicationDate of PublicationType
Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets2022-04-14Paper
Analysis of strong and strong periodic detectability of bounded labeled Petri nets2021-12-13Paper
Verification of C-detectability using Petri nets2021-05-03Paper
Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers2020-11-03Paper

Research outcomes over time

This page was built for person: Hao Lan

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