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

Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements., , , , and . WER, page 190-196. (2007)Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus., , , and . C3S2E, page 24:1-24:4. ACM, (2014)Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation., and . NLDB, volume 3513 of Lecture Notes in Computer Science, page 392-397. Springer, (2005)Methodology for Automatic Generation of Exhaustive Behavioral Models in Reactive Autonomic Systems., and . SETP, page 95-104. ISRST, (2008)Toward a Novel Measurement Framework for Big Data (MEGA)., and . COMPSAC, page 1579-1586. IEEE, (2021)Recognizing Predatory Chat Documents using Semi-supervised Anomaly Detection., , , and . Document Recognition and Retrieval, page 1-9. Society for Imaging Science and Technology, (2016)A Metamodel for Tracing Non-functional Requirements., , and . CSIE (7), page 687-694. IEEE Computer Society, (2009)Relational-model based change management for non-functional requirements: Approach and experiment., , and . RCIS, page 1-9. IEEE, (2011)Assessment of Real-Time Software Specifications Quality Using COSMIC-FFP., , , and . IWSM/Mensura, volume 4895 of Lecture Notes in Computer Science, page 183-194. Springer, (2007)UTAUT-QiU: Technology Acceptance Evaluation Model with Integrated Quality-in-Use Assessment for Mobile UI Adapted for Low- and Post-literate Users., , and . AHFE (21), volume 972 of Advances in Intelligent Systems and Computing, page 177-187. Springer, (2019)