Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Jürgen Niehaus"'
Autor:
Martin Fränzle, Jürgen Niehaus, Sebastian Lehnhoff, Himanshu Neema, Bbianca Biebl, Dasom Lee, Alexander Pretschner, Janos Sztipanovits, David J. Hess
Publikováno v:
Journal of responsible innovation, 8(3), 421-444. Routledge
This study develops a comparative, sociotechnical design perspective for interdisciplinary teams of social scientists and computer scientists. Sociotechnical design refers to identifying both technical and governance challenges and to understanding t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5eeade6fb66602876a02dff77c616a2a
https://research.utwente.nl/en/publications/27b89313-d7ff-4215-bcab-ce37d3ee6f1d
https://research.utwente.nl/en/publications/27b89313-d7ff-4215-bcab-ce37d3ee6f1d
Autor:
Jürgen Niehaus
Publikováno v:
Automated Driving ISBN: 9783319318936
SafeTRANS is a German not-for-profit competence cluster, comprising member organizations from industry and academia active in the development of electronic components and systems in the transportation domain (cars, planes, trains, ships and their inf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ff6a146258361b408ea5e52dbb742d3
https://doi.org/10.1007/978-3-319-31895-0_33
https://doi.org/10.1007/978-3-319-31895-0_33
Publikováno v:
Formal Aspects of Computing. 15:390-405
We present a semantics for the statechart variant implemented in the Statemate product of i-Logix. Our semantics enables distributed code generation for Statemate models in the context of rapid prototyping for embedded control applications. We argue
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59d029f59f0b9098d2ff624a88a822aa
https://doi.org/10.1007/s00165-003-0015-4
https://doi.org/10.1007/s00165-003-0015-4
Publikováno v:
Automotive Software – Connected Services in Mobile Networks ISBN: 9783540376774
ASWSD
ASWSD
We report on how implementing a Model Based Automotive SW Engineering Process in an industrial setting can ensure the correctness of automotive applications when a process based on formal models is used. We show how formal methods, in particular mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c733103473491a92cae38048569a1fb
https://doi.org/10.1007/11823063_7
https://doi.org/10.1007/11823063_7
Publikováno v:
Formal Aspects of Computing; Dec2003, Vol. 15 Issue 4, p390-405, 16p
Publikováno v:
Betriebswirtschaftliche Steuerungs-und Kontrollprobleme ISBN: 9783409133449
Durch die seit 1979 stets gestiegene Zahl der jahrlichen Unternehmensinsolvenzen entstehen den Glaubigern und Anteilseignern in jedem Jahr Verluste in Milliardenhohe.1 Wollen die Glaubiger den Schaden fur sich moglichst gering halten, dann sind sie d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b186f797d7e172887ba879dc962cd3b8
https://doi.org/10.1007/978-3-322-90580-2_3
https://doi.org/10.1007/978-3-322-90580-2_3
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.