( en | de | ru )

 

Disambiguierung von "Kwak, Hee-Hwan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Verification Method of SDN Firewall Applications.

, , , , , und . IEICE Trans. Commun., 99-B (7): 1408-1415 (2016)

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.

David Jung Chul Kwak

Sookhee Kwak

Thomas Kwak

Misook Kwak

Miran Kwak

 

Weitere Publikationen von Autoren mit dem selben Namen

Simplifying Circuits for Formal Verification Using Parametric Representation., , , , und . FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 52-69. Springer, (2002)Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP., , und . Sci. Comput. Program., 42 (1): 49-60 (2002)Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP., , und . Monterey Workshop, Volume 25 von Electronic Notes in Theoretical Computer Science, Seite 38-49. Elsevier, (1998)A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames., , und . VTC Spring, IEEE, (2009)Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study., , , , und . IEEE Real Time Technology and Applications Symposium, Seite 220-229. IEEE Computer Society, (1998)A Verification Method of SDN Firewall Applications., , , , , und . IEICE Trans. Commun., 99-B (7): 1408-1415 (2016)Verification for NFV-enabled network services., , , , , und . ICTC, Seite 810-815. IEEE, (2015)Process algebraic approach to the parametric analysis of object scheduling in real-time systems., und . WORDS (Fall), Seite 131-138. IEEE Computer Society, (1999)A Framework for Embedded Real-Time System Design., , und . IPDPS Workshops, Volume 1800 von Lecture Notes in Computer Science, Seite 738-742. Springer, (2000)Combinational equivalence checking through function transformation., , , und . ICCAD, Seite 526-533. ACM / IEEE Computer Society, (2002)