PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Nyberg, Mattias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain.

, , , , und . COMPSAC Workshops, Seite 167-173. 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.

Keine Personen gefunden für den Autorennamen Nyberg, Mattias
Eine Person hinzufügen mit dem Namen Nyberg, Mattias
 

Weitere Publikationen von Autoren mit dem selben Namen

Realizability Constrained Selection of Residual Generators for Fault Diagnosis With an Automotive Engine Application., , und . IEEE Trans. Systems, Man, and Cybernetics: Systems, 43 (6): 1354-1369 (2013)A data-driven and probabilistic approach to residual evaluation for fault diagnosis., , , und . CDC-ECE, Seite 95-102. IEEE, (2011)Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system., , und . Eng. Appl. of AI, 25 (4): 705-719 (2012)Extending Contract theory with Safety Integrity Levels., und . HASE, Seite 85-92. IEEE Computer Society, (2015)Structuring Safety Requirements in ISO 26262 Using Contract Theory., , und . SAFECOMP, Volume 8153 von Lecture Notes in Computer Science, Seite 166-177. Springer, (2013)Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts., und . SAFECOMP Workshops, Volume 11699 von Lecture Notes in Computer Science, Seite 28-40. Springer, (2019)Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment., , und . QUATIC, Seite 199-204. IEEE Computer Society, (2016)Conditions of contracts for separating responsibilities in heterogeneous systems., und . Formal Methods in System Design, 52 (2): 147-192 (2018)Bayesian Inference Under Probability Constraints., und . SCAI, Volume 173 von Frontiers in Artificial Intelligence and Applications, Seite 151-156. IOS Press, (2008)A Reference Example on the Specification of Safety Requirements using ISO 26262., und . DECS@SAFECOMP, HAL, (2013)