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

Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems.

S. Engell, S. Kowalewski, B. Krogh, und J. Preußig. EUROSIM, Seite 421-426. Elsevier, (1995)

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.

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

Stefan Keuler University of Stuttgart

Dr. -Ing. Stefan Carosella University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Zuverlässigkeitsmechanismen für Eingebettete Systeme.F. Salewski, und S. Kowalewski. Softwaretechnik-Trends, (2005)Runtime verification of microcontroller binary code.T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, und S. Kowalewski. Sci. Comput. Program., (2014)Applying static code analysis on industrial controller code.S. Stattelmann, S. Biallas, B. Schlich, und S. Kowalewski. ETFA, Seite 1-4. IEEE, (2014)Coping with Complexity of Testing Models for Real-Time Embedded Systems.R. Mitsching, C. Weise, D. Franke, T. Gerlitz, und S. Kowalewski. SSIRI (Companion), Seite 128-135. IEEE Computer Society, (2011)Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).M. Alpuente, C. Joubert, S. Kowalewski, und M. Roveri. Sci. Comput. Program., 78 (7): 775-777 (2013)Comparison of reachability methods for uncertain linear time-invariant systems.I. Makhlouf, P. Hänsch, und S. Kowalewski. ECC, Seite 1101-1106. IEEE, (2013)A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.S. Kowalewski, O. Stursberg, M. Fritz, H. Graf, I. Hoffmann, J. Preußig, M. Remelhe, S. Simon, und H. Treseler. Hybrid Systems, Volume 1567 von Lecture Notes in Computer Science, Seite 163-185. Springer, (1997)Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems.A. Armoush, F. Salewski, und S. Kowalewski. ICIT, Seite 232-237. IEEE Computer Society, (2008)Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications.E. Beckschulze, F. Salewski, T. Siegbert, und S. Kowalewski. ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 82-92. Springer, (2008)An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems.A. Armoush, D. Franke, I. Kalkov, und S. Kowalewski. MobiCASE, Volume 130 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 294-297. Springer, (2013)