Author of the publication

Specification-Based Testing for Real-Time Reactive Systems.

, , and . TOOLS (34), page 25-36. IEEE Computer Society, (2000)

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

Early quality monitoring in the development of real-time reactive systems., , and . J. Syst. Softw., 81 (10): 1738-1753 (2008)Alignment-Uniformity aware Representation Learning for Zero-shot Video Classification., , and . CVPR, page 19936-19945. IEEE, (2022)An Empirical Study on Software Reuse., , , and . CSSE (6), page 509-512. IEEE Computer Society, (2008)978-0-7695-3336-0.Specification-Based Testing for Real-Time Reactive Systems., , and . TOOLS (34), page 25-36. IEEE Computer Society, (2000)Real-time aerial targets detection algorithm based background subtraction., , , , , and . APSIPA, page 1-6. IEEE, (2013)Tracking Based on Better Feature Selecting., and . IIH-MSP, page 594-597. IEEE, (2013)Encoding Distributional Semantics into Triple-Based Knowledge Ranking for Document Enrichment., , , , and . ACL (1), page 524-533. The Association for Computer Linguistics, (2015)Building Computer Science K-12 PLCs in Rural Communities., , , , and . SIGCSE, page 1275. ACM, (2019)Technique of Target Tracking for Ballistic Missile., , , and . ITITS (1), volume 454 of Advances in Intelligent Systems and Computing, page 319-329. (2015)A Rigorous Method for Testing Real-Time Reactive Systems., and . APSEC, page 213-220. IEEE Computer Society, (2001)