Personensuche
X
?
Lecture Notes in Computer Science; Euro-Par 2023: Parallel Processing Workshops ,
1
A Polynomial-Time Algorithm for Detecting Potentially Unbou..:
, In:
?
Technological Innovation for Connected Cyber Physical Spaces; IFIP Advances in Information and Communication Technology ,
2
Preliminary Verification of Liveness in a Control Part of C..:
, In:
?
Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science ,
4
Hippo-CPS: A Tool for Verification and Analysis of Petri Ne..:
, In:
?
Technological Innovation for Digitalization and Virtualization; IFIP Advances in Information and Communication Technology ,
5
Hippo-CPS: Verification of Boundedness, Safeness and Livene..:
, In:
?
2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) ,
6
Analysis of Control Part of Cyber-Physical Systems Specifie..:
, In:
?
Advances in Soft and Hard Computing; Advances in Intelligent Systems and Computing ,
8