( en | de | ru )

 

Disambiguation of "Cheng, Jingde"

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.

, and . Ada-Europe, volume 499 of Lecture Notes in Computer Science, page 125-146. Springer, (1991)

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. You can also use the button next to the name to display some publications already assigned to the person.

Cheng-Yung Cheng

Xuerong Cheng

I-Fen Cheng

Ying Min Cheng

Yao Cheng

 

Other publications of authors with the same name

Anticipatory Agents Based on Anticipatory Reasoning., and . ISMIS, volume 3488 of Lecture Notes in Computer Science, page 445-455. Springer, (2005)Formal verification of security specifications with common criteria., , , and . SAC, page 1506-1512. ACM, (2007)Improving the Performance of Automated Forward Deduction System EnCal., , and . ISHPC, volume 1336 of Lecture Notes in Computer Science, page 371-380. Springer, (1997)Classification, Formalization and Verification of Security Functional Requirements., , , and . SOFSEM, volume 4910 of Lecture Notes in Computer Science, page 622-633. Springer, (2008)A Supporting Tool for Development of Self-Measurement Ada Programs., , and . Ada-Europe, volume 1845 of Lecture Notes in Computer Science, page 69-81. Springer, (2000)Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic., , and . DASC/PiCom/DataCom/CyberSciTech, page 289-294. IEEE, (2019)A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning., , , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 210-215. IEEE, (2018)The self-measurement principle: a design principle for large-scale, long-lived, and highly reliable concurrent systems.. SMC, page 4010-4015. IEEE, (1998)Deontic relevant logic as the logical basis for legal information systems.. SAC, page 319-320. ACM, (2006)A replication oriented approach to event based middleware over structured peer to peer networks., , and . MPAC, page 61-66. ACM, (2007)