Verification of K -Step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled With Petri Nets
Year: 2025
Type: article
Source: IEEE Control Systems Letters
Institutions: University of Salerno, University of Naples Federico II
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4410887205