( en | de | ru )

 

Disambiguierung von "Katsaros, Panagiotis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantic Modeling and Analysis of Natural Language System Requirements.

, , , und . IEEE Access, (2022)

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.

Byron Katsaros

Konstantinos Katsaros

Christos Katsaros

Byron Katsaros

Wassilias Katsaros

 

Weitere Publikationen von Autoren mit dem selben Namen

On Neural Network Equivalence Checking Using SMT Solvers., , , und . FORMATS, Volume 13465 von Lecture Notes in Computer Science, Seite 237-257. Springer, (2022)Combining Invariant Violation with Execution Path Classification for Detecting Multiple Types of Logical Errors and Race Conditions., , , und . SECRYPT, Seite 28-40. SciTePress, (2016)Product Line Variability with Elastic Components and Test-Driven Development., , und . CIMCA/IAWTIC/ISE, Seite 146-151. IEEE Computer Society, (2008)Securing Legacy Code with the TRACER Platform., , , , , , , und . Panhellenic Conference on Informatics, Seite 26:1-26:6. ACM, (2014)Economic Evaluation of Interactive Audio Media for Securing Internet Services., , und . ICGS3/e-Democracy, Volume 99 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 46-53. Springer, (2011)The ACID model checker and code generator for transaction processing., und . HPCS, Seite 138-144. IEEE, (2009)Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection., , , , und . CRITIS, Volume 7722 von Lecture Notes in Computer Science, Seite 143-154. Springer, (2012)On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model.. OTM Conferences (2), Volume 3761 von Lecture Notes in Computer Science, Seite 941-959. Springer, (2005)Abstract Model Repair., , , und . NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 341-355. Springer, (2012)Semantic Modeling and Analysis of Natural Language System Requirements., , , und . IEEE Access, (2022)