| | |
|---|
| 2011 | Modelling software process variability: An empirical study
Martinez-Ruiz, T.; Garcia, F.; Piattini, M.; Münch, J. | Zeitschriftenaufsatz |
| 2011 | Run-time security traceability for evolving systems
Bauer, A.; Jürjens, J.; Yu, Y. | Zeitschriftenaufsatz |
| 2011 | Safe automotive software
Heckemann, Karl; Gesell, Manuel; Pfister, Thomas; Berns, Karsten; Schneider, Klaus; Trapp, Mario | Konferenzbeitrag |
| 2011 | Safe automotive software
Heckemann, Karl; Gesell, Manuel; Pfister, Thomas; Berns, Karsten; Schneider, Klaus; Trapp, Mario | Forschungsbericht |
| 2010 | Assuring functional safety in automotive software through pattern-based requirements development
Pai, Ganesh J.; Roeser, Andreas | Bericht |
| 2005 | Formal specification and verification. Structures and techniques
Eschbach, R. | Dissertation |
| 1997 | Modelling and verification with petri nets: Comparing a state oriented and event oriented approach
Mackenthun, R.; Voorhoeve, M. | Konferenzbeitrag |
| 1992 | A high level interactive design environment for complex systems
Büddefeld, J.; Meyer zu Bexten, E.; Moraga, C. | Konferenzbeitrag |
| 1992 | The signal description language SIBA
Meyer zu Bexten, E.; Moraga, C. | Konferenzbeitrag |
| 1991 | CASSY a CAD environment for signal processing applications
Büddefeld, J.; Meyer zu Bexten, E.; Moraga, C. | Konferenzbeitrag |
| 1991 | CASSY Werkzeuge zur formalen Darstellung und Verifikation von Signalverarbeitungssystemen
Büddefeld, J.; Hosticka, B.J.; Meyer zu Bexten, E.; Moraga, C. | Konferenzbeitrag |
| 1991 | A formal representation language for signal processing -SIBA-.
Meyer zu Bexten, E.; Moraga, C. | Konferenzbeitrag |
| 1991 | Die Signalbeschreibungssprache SIBA eingebunden in eine ergonomische Benutzeroberfläche
Büddefeld, J.; Meyer zu Bexten, E.; Moraga, C. | Konferenzbeitrag |