( en | de | ru )

 

Disambiguation of "Katara, Mika"

Author of the publication

copydeleteadd this publication to your clipboard
DisCo Toolset - The New Generation.

, , and . J. Univers. Comput. Sci., 7 (1): 3-18 (2001)

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.

Christian Mika

Elisabeth Mika

Mika Harbeck

Egmont Mika

Christian Mika

 

Other publications of authors with the same name

Choosing a Test Modeling Language: A Survey., , and . Haifa Verification Conference, volume 4383 of Lecture Notes in Computer Science, page 204-218. Springer, (2006)Synthesizing Test Models from Test Cases., , , , and . Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 179-193. Springer, (2008)Environment Modelling in Closed Specifications of Embedded Systems., and . DIPES, volume 189 of IFIP Conference Proceedings, page 141-150. Kluwer, (2000)A concern architecture view for aspect-oriented software design., and . Softw. Syst. Model., 6 (3): 247-265 (2007)Aspects of Continuous Behaviour - Design of Real-Time Reactive Systems in DisCo.. University of Tampere, Finland, (2001)base-search.net (ftunivtampere:oai:trepo.tuni.fi:10024/114276).Controlling Testing Using Three-Tier Model Architecture., , and . MBT, volume 164 of Electronic Notes in Theoretical Computer Science, page 53-66. Elsevier, (2006)Aspect-Oriented Specification Architectures for Distributed Real-Time Systems., and . ICECCS, page 180-190. IEEE Computer Society, (2001)Model-Based Testing Using System vs. Test Models - What Is the Difference?, , , , , , and . Engineering of Computer-Based Systems, IEEE International Conference on the, (2010)Concern-Based Development of Pattern Systems., , , , and . EWSA, volume 3527 of Lecture Notes in Computer Science, page 113-129. Springer, (2005)A Test Process Improvement Model for Automated Test Generation., , and . PROFES, volume 7343 of Lecture Notes in Computer Science, page 17-31. Springer, (2012)