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.

 

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

Hot Spots & Hot Regions Detection Using Classification Algorithms in BMPs Complexes at the Protein-Protein Interface with the Ground-State Energy Feature., , и . MCPR, том 13264 из Lecture Notes in Computer Science, стр. 3-14. Springer, (2022)UML-Based Model-Driven Development for HSDPA Design., , , и . IEEE Software, 26 (3): 26-33 (2009)Abstract Model Checking and Refinement of Temporal Logic in aSPIN., , , и . ACSD, стр. 245-246. IEEE Computer Society, (2003)aSPIN: A tool for abstract model checking., , , и . Int. J. Softw. Tools Technol. Transf., 5 (2-3): 165-184 (2004)Modeling and Estimation of Non-functional Properties: Leveraging the Power of QoS Metrics., , , , , и . IWINAC (2), том 11487 из Lecture Notes in Computer Science, стр. 380-388. Springer, (2019)A Novel Dynamic Three-Level Tracking Controller for Mobile Robots Considering Actuators and Power Stage Subsystems: Experimental Assessment., , , , , , , , и . Sensors, 20 (17): 4959 (2020)Synchronization of a New Chaotic System Using Adaptive Control: Design and Experimental Implementation., , , , , , , , , и . Complex., (2023)A Visual Methodology for the Design of Course Contents - A Case Study in Communications Software.. CSEDU (1), стр. 434-437. INSTICC Press, (2010)Using XML to implement abstraction for Model Checking., , , и . SAC, стр. 1021-1025. ACM, (2002)PiXL: Applying xml standards to support the integration of analysis tools for protocols., , , , и . Sci. Comput. Program., 65 (1): 57-69 (2007)