( en | de | ru )

 

Disambiguierung von "Cha, Sung Deok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A test sequence selection method for statecharts.

, , , , und . Softw. Test. Verification Reliab., 10 (4): 203-227 (2000)

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.

Ho Sung Cha

Maria Cha

Yongku Cha

Wansik Cha

Limei Cha

 

Weitere Publikationen von Autoren mit dem selben Namen

Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract)., und . RAID, Volume 5230 von Lecture Notes in Computer Science, Seite 404-405. Springer, (2008)Construction of global finite state machine for testing task interactions written in message sequence charts., , und . SEKE, Seite 369-376. ACM, (2002)Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 205-220. Springer, (2002)Formal verification of functional properties of a SCR-style software requirements specification using PVS., , und . Reliab. Eng. Syst. Saf., 87 (3): 351-363 (2005)An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification., , , , und . Reliab. Eng. Syst. Saf., 89 (3): 248-260 (2005)An empirical evaluation of six methods to detect faults in software., , , und . Softw. Test. Verification Reliab., 12 (3): 155-171 (2002)Generating test sequences using symbolic execution for event-driven real-time systems., und . Microprocess. Microsystems, 27 (10): 523-531 (2003)SAD: web session anomaly detection based on parameter estimation., und . Comput. Secur., 23 (4): 312-319 (2004)A quantitative approach to estimate a website security risk using whitelist., , , und . Secur. Commun. Networks, 5 (10): 1181-1192 (2012)Automated test case generation for FBD programs implementing reactor protection system software., , , , und . Softw. Test. Verification Reliab., 24 (8): 608-628 (2014)