( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Certainly Unsupervisable States.

, , , и . FTSCS, том 419 из Communications in Computer and Information Science, стр. 280-296. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Robi Malik

Robi Banerjee

Robi Banerjee

David Malik

Nishant Malik

 

Другие публикации лиц с тем же именем

A modular architecture for diagnosis of discrete event systems., , и . CDC, стр. 417-422. IEEE, (2002)Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study., и . IFM, том 3771 из Lecture Notes in Computer Science, стр. 33-52. Springer, (2005)Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events., и . FTSCS, том 419 из Communications in Computer and Information Science, стр. 160-177. Springer, (2013)Advanced selfloop removal in compositional nonblocking verification of discrete event systems.. CASE, стр. 819-824. IEEE, (2015)Generalised verification of the observer property in discrete event systems., , , , и . WODES, стр. 337-342. International Federation of Automatic Control, (2012)Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata., , , и . IEEE Trans Autom. Sci. Eng., 8 (3): 560-569 (2011)Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen.. Kaiserslautern University of Technology, Germany, (1998)Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications., , , , и . Autom., (2021)ESCAPADE: Encryption-Type-Ransomware: System Call Based Pattern Detection., , , и . NSS, том 12570 из Lecture Notes in Computer Science, стр. 388-407. Springer, (2020)Incremental verification of Co-observability in discrete-event systems., , , и . ACC, стр. 5446-5452. IEEE, (2014)