( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantic Modeling and Analysis of Natural Language System Requirements.

, , , и . IEEE Access, (2022)

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.

Byron Katsaros

Konstantinos Katsaros

Christos Katsaros

Byron Katsaros

Wassilias Katsaros

 

Другие публикации лиц с тем же именем

Economic Evaluation of Interactive Audio Media for Securing Internet Services., , и . ICGS3/e-Democracy, том 99 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 46-53. Springer, (2011)The ACID model checker and code generator for transaction processing., и . HPCS, стр. 138-144. IEEE, (2009)Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection., , , , и . CRITIS, том 7722 из Lecture Notes in Computer Science, стр. 143-154. Springer, (2012)Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems., , , , и . Int. J. Softw. Tools Technol. Transf., 22 (1): 3-32 (2020)Security-aware elasticity for NoSQL databases in multi-cloud environments., , , и . Int. J. Intell. Inf. Database Syst., 10 (3/4): 168-190 (2017)A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach.. Inf. Softw. Technol., 51 (2): 235-257 (2009)Sboing4Real: A real-time crowdsensing-based traffic management system., , , , , , , , , и 3 other автор(ы). J. Parallel Distributed Comput., (2022)Combining Invariant Violation with Execution Path Classification for Detecting Multiple Types of Logical Errors and Race Conditions., , , и . SECRYPT, стр. 28-40. SciTePress, (2016)On Neural Network Equivalence Checking Using SMT Solvers., , , и . FORMATS, том 13465 из Lecture Notes in Computer Science, стр. 237-257. Springer, (2022)Securing Legacy Code with the TRACER Platform., , , , , , , и . Panhellenic Conference on Informatics, стр. 26:1-26:6. ACM, (2014)