Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Helke, Steffen"'
Autor:
D��rr, Heiko, Helke, Steffen
Preface of the 19th Workshop on Automotive Software Engineering (ASE'22)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::faae450693b3c8ceea4fc27addac60a4
Autor:
D��rr, Heiko, Helke, Steffen
Software based systems play an increasingly important role and enable most of the innovations in modern cars. This workshop deals with various topics related to the development of automotive software and discusses suitable methods, techniques, and to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef1c2d5639d5d3995cca3baf12bcc781
Software-based systems play an increasingly important role and enable most of the innovations in modern cars. This workshop deals with various topics related to the development of automotive software and discusses suitable methods, techniques, and to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c7b67acdd60a6a043132a87b2590211
Autor:
Peters, Ulrike, Dutz, Katharina, Lesko, Sophie, Klemme, Jannik, Bulgay, Charlene, Haas, Traugott, Scheuerer, Stefan, Röben, Peter, Eisenriegler, Sepp, Becker, Fabian, Siemen, Henrik, Wadehn, Alexander, Stawitz, Lisa, Vieback, Linda, Brämer, Stefan, Bünning , Frank, Faase, Stephanie, Fahrenbach, Falk, Malohn, Carl Lennart, Wöhrn, Sebastian, Gödecke, Andreas, Helke, Steffen, Depenau, Patrick, Asmus-Wessels, Simon, Brumby, Lennart, Derwanz, Heike, Burau, Andreas, Schridde, Stefan, Schaadt , Heike
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1443::1ee7aaecb7bc5e6c757ae81352181cd8
http://oops.uni-oldenburg.de/4027/
http://oops.uni-oldenburg.de/4027/
Autor:
Helke, Steffen
In dieser Arbeit wird ein Ansatz zur Verifikation von Statecharts mit unendlichen Daten vorgestellt. Es wird ein Verfahren konzipiert, mit dem die Gültigkeit einer temporallogischen Formel des universalen Fragements der CTL für eine Statecharts-Spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______793::10c8915f3b42483516052a8db64e4591
http://depositonce.tu-berlin.de/handle/11303/2075
http://depositonce.tu-berlin.de/handle/11303/2075
Publikováno v:
Data Privacy Management & Security Assurance; 2016, p264-272, 9p
Autor:
Burmeister, Rodger, Helke, Steffen
Publikováno v:
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering; 1/ 1/2012, p193-200, 8p