Verification of <inline-formula><tex-math notation="LaTeX">$k$</tex-math></inline-formula>-Step and Definite Critical Observability in Discrete-Event Systems

Verification of --Step and Definite Critical Observability in Discrete-Event Systems | IEEE Journals & Magazine | IEEE Xplore