( en | de | ru )

 

Disambiguierung von "Cheng, Jingde"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045.

, , und . PAKDD (Workshops), Volume 11607 von Lecture Notes in Computer Science, Seite 3-14. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cheng-Yung Cheng

I-Fen Cheng

Ying Min Cheng

Guo-Jian Cheng

Shun-Jen Cheng

 

Weitere Publikationen von Autoren mit dem selben Namen

Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications.. PARCO, Seite 589-592. Elsevier, (1993)Logical tool of knowledge engineering: using entailment logic rather than mathematical logic.. ACM Conference on Computer Science, Seite 228-238. ACM, (1991)A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery.. Discovery Science, Volume 1532 von Lecture Notes in Computer Science, Seite 403-404. Springer, (1998)Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.. Ada-Europe, Volume 4006 von Lecture Notes in Computer Science, Seite 167-178. Springer, (2006)Tasking Deadlocks in Ada 95 Programs and Their Detection., und . Ada-Europe, Volume 1088 von Lecture Notes in Computer Science, Seite 135-146. Springer, (1996)Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic., und . ER (Workshops), Volume 3289 von Lecture Notes in Computer Science, Seite 114-126. Springer, (2004)QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems., , und . IEICE Trans. Inf. Syst., 102-D (11): 2159-2175 (2019)Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study., , und . CIS, Seite 461-465. IEEE Computer Society, (2016)A Run-Time Deadlock Detector for Concurrent Java Programs., , , , und . APSEC, Seite 45-52. IEEE Computer Society, (2001)An Analysis of Software Supportable Tasks Related with ISO/IEC 15408., , , und . CIS, Seite 601-606. IEEE Computer Society, (2013)