From post

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.

 

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

A clustering-based approach for discovering flaws in requirements specifications., , и . SAC, стр. 1043-1050. ACM, (2012)Network Performance Assessment of C+L Upgrades vs. Fiber Doubling SDM Solutions., , , , , и . OFC, стр. 1-3. IEEE, (2020)Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods., , , и . Int. J. Softw. Tools Technol. Transf., 24 (3): 351-370 (2022)Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study., , , , , , и . CoRR, (2020)Model Checking Interlocking Control Tables., , , и . FORMS/FORMAT, стр. 107-115. Springer, (2010)Experimental impact of power re-optimization in a mesh network., , , , , и . J. Opt. Commun. Netw., 15 (7): C20-C28 (июля 2023)Using NLP to Support Terminology Extraction and Domain Scoping: Report on the H2020 DESIRA Project., , , и . REFSQ Workshops, том 2584 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Formal Development for Railway Signaling Using Commercial Tools., , , и . FMICS, том 5825 из Lecture Notes in Computer Science, стр. 197-198. Springer, (2009)Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect., , и . FMICS, том 14290 из Lecture Notes in Computer Science, стр. 1-21. Springer, (2023)Impact of Fiber Type on Regenerator Placement in Reconfigurable DWDM Transparent Optical Networks., , , и . PSC, стр. 1-3. IEEE, (2018)