( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Residual Generators for Fault Diagnosis Using Computation Sequences With Mixed Causality Applied to Automotive Systems.

, и . IEEE Trans. Syst. Man Cybern. Part A, 40 (6): 1310-1328 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Tore Nyberg

Elisabeth Nyberg

Mattias Krüger

Mattias Kreutz

Mattias Martinson

 

Другие публикации лиц с тем же именем

Environment-Centric Contracts for Design of Cyber-Physical Systems., и . MoDELS, том 8767 из Lecture Notes in Computer Science, стр. 218-234. Springer, (2014)Model-based diagnosis of an automotive engine using several types of fault models.. IEEE Trans. Contr. Sys. Techn., 10 (5): 679-689 (2002)Formally verifying decompositions of stochastic specifications., и . Int. J. Softw. Tools Technol. Transf., 26 (2): 207-228 (апреля 2024)VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines., , , и . SASSUR@SAFECOMP, HAL, (2013)A Generalized Minimal Hitting-Set Algorithm to Handle Diagnosis With Behavioral Modes.. IEEE Trans. Syst. Man Cybern. Part A, 41 (1): 137-148 (2011)Preserving Contract Satisfiability Under Non-monotonic Composition., и . FORTE, том 10854 из Lecture Notes in Computer Science, стр. 181-195. Springer, (2018)Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions., и . Requir. Eng., 24 (2): 231-256 (2019)Formal architecture modeling of sequential non-recursive C programs., , , и . Sci. Comput. Program., (2017)Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving., , и . ICSRS, стр. 126-135. IEEE, (2019)Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report., , , и . FMICS-AVoCS, том 10471 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2017)