( en | de | ru )

 

Disambiguierung von "Johnsen, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL.

, , , , und . QoSA, Seite 31-40. IEEE Computer Society, (2016)

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.

Andreas Johnsen

Iris Johnsen

Rainer Johnsen

Matthias Johnsen

Ulrike Johnsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal execution semantics for asynchronous constructs of AADL., , und . ACES-MB@MoDELS, Seite 43-48. ACM, (2012)Regression verification of AADL models through slicing of system dependence graphs., , , und . QoSA, Seite 103-112. ACM, (2014)Industrial Experiences of Building a Safety Case in Compliance with ISO 26262., , , , und . ISSRE Workshops, Seite 349-354. IEEE Computer Society, (2012)Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool., , , , und . ISSRE, Seite 271-281. IEEE Computer Society, (2017)Liability for software in safety-critical mechatronic systems: An industrial questionnaire., , , und . SEES@ICSE, Seite 44-50. IEEE, (2012)AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL., , , , und . QoSA, Seite 31-40. IEEE Computer Society, (2016)Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL., und . Ada-Europe, Volume 6652 von Lecture Notes in Computer Science, Seite 103-117. Springer, (2011)An Architecture-Based Verification Technique for AADL Specifications., , und . ECSA, Volume 6903 von Lecture Notes in Computer Science, Seite 105-113. Springer, (2011)AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems., , , und . ISSRE, Seite 260-270. IEEE Computer Society, (2017)Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough., , , , und . ICSA Workshops, Seite 153-160. IEEE Computer Society, (2017)