Author of the publication

Real-time Property Preservation in Approximations of Timed Systems.

, , and . MEMOCODE, page 163-171. IEEE Computer Society, (2003)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multi-resolution Gabor wavelet feature extraction for needle detection in 3D ultrasound., , , , , , and . ICMV, volume 9875 of SPIE Proceedings, page 987513. SPIE, (2015)Error Estimation in Model-Driven Development for Real-Time Software., , , and . FDL, page 228-240. ECSI, (2004)Real-time Property Preservation in Approximations of Timed Systems., , and . MEMOCODE, page 163-171. IEEE Computer Society, (2003)Design and implementation of Software Defined Hardware Counters for SDN., , , , and . Comput. Networks, (2016)Evaluation of the Application Effect of Hospital Information System in Neurology Nursing Management., , , , and . CIPAE, page 1476-1480. ACM, (2021)Revealing Spatiotemporal Brain Dynamics of Speech Production Based on EEG and Eye Movement., , , , , , and . INTERSPEECH, page 1427-1431. ISCA, (2018)A Calculus for Mobile Network Systems., , , and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 226-230. Springer, (2002)Improvement on Meshing Stiffness Algorithms of Gear with Peeling., , , and . Symmetry, 11 (5): 609 (2019)A model-driven design approach for mechatronic systems., , , , and . ACSD, page 127-136. IEEE Computer Society, (2007)QDMR-based Planning-and-Solving Prompting for Complex Reasoning Tasks., , , , , , and . LREC/COLING, page 13395-13406. ELRA and ICCL, (2024)