Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient Testing based on Logical Architecture.

H. Liu, M. Spichkova, H. Schmidt, A. Ulrich, H. Sauer, und J. Wieghardt. ASWEC (2), Seite 49-53. ACM, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Claudia Marianowski University of Stuttgart

apl. Prof. Dr. Maria Fyta University of Stuttgart

Maria Papadimitraki University of Stuttgart

Maria Hammer University of Stuttgart

Maria Barnhart University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

From Automotive to Autonomous: Time-Triggered Operating Systems.M. Spichkova, M. Simic, und H. Schmidt. IIMSS, Seite 347-359. Springer, (2016)Stream processing components: Isabelle/HOL formalisation and case studies.M. Spichkova. CoRR, (2014)Software Engineering Solutions To Support Vertical Transportation.A. Christianto, P. Chen, O. Walawedura, A. Vuong, J. Feng, D. Wang, und M. Spichkova. CoRR, (2017)Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation.M. Spichkova, X. Zhu, und D. Mou. CoRR, (2014)Stream Processing Components: Isabelle/HOL Formalisation and Case Studies.M. Spichkova. Archive of Formal Proofs, (2013)Service-Oriented Modeling of CoCoME with Focus and AutoFocus.M. Broy, J. Fox, F. Hölzl, D. Koss, M. Kuhrmann, M. Meisinger, B. Penzenstadler, S. Rittmann, B. Schätz, M. Spichkova und 1 andere Autor(en). CoCoME, Volume 5153 von Lecture Notes in Computer Science, Seite 177-206. Springer, (2007)Towards Modularized Verification of Distributed Time-Triggered Systems.J. Botaschanjan, A. Gruler, A. Harhurin, L. Kof, M. Spichkova, und D. Trachtenherz. FM, Volume 4085 von Lecture Notes in Computer Science, Seite 163-178. Springer, (2006)Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability.A. Alharthi, M. Spichkova, M. Hamilton, und T. Alsanoosy. ISD, Lund University / Association for Information Systems, (2018)Combining Agile Practices with Incremental Visual Tasks.C. Thevathayan, M. Spichkova, und M. Hamilton. ACE, Seite 103-112. ACM, (2017)"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?M. Spichkova. STAF Workshops, Volume 9946 von Lecture Notes in Computer Science, Seite 242-252. Springer, (2016)