Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Mattias Nyberg 42 träffar

Titel Författare År Språk
21 A Derivation of the Minimal Polynomial Basis Approach to Linear Residual Generation Mattias Nyberg 2001 Engelska
22 A Mixed Causality Approach to Residual Generation Utilizing Equation System Solvers and Differential-Algebraic Equation Theory Carl Svärd 2008 Engelska
23 Formally Verifying Decompositions of Stochastic Specifications (With Proofs) FMICS 2022 Anton Hampus 2022 Engelska
24 Residual Generation for Fault Diagnosis of Systems Described by General Linear Differential-Algebraic Equations (revised) Erik Frisk 2005 Engelska
25 Issues in Diagnosis, Supervision, and Safety Lars Nielsen 1996 Engelska
26 Parity Functions as Universal Residual Generators and Tool for Fault Detectability Analysis Mattias Nyberg 1997 Engelska
27 Design of a Complete FDI System based on a Performance Index With Application to an Automotive Engine Mattias Nyberg 1997 Engelska
28 Automated Creation of Safety Cases for Highly Configurable Systems Damir Nešić 2020 Engelska
29 Specifying and Structuring Requirements on Cyber-Physical Systems using Contracts Jonas Westman 2014 Engelska
30 Failure Propagation Modeling for Safety Analysis using Causal Bayesian Networks Mattias Nyberg 2013 Engelska
31 Environment-Centric Contracts for the Design of Cyber Physical Systems Jonas Westman 2014 Engelska
32 Verification of Requirements in Simulink Design Verifier and UPPAAL - an Industrial Case Study Jonas Westman 2016 Engelska
33 Verifying Contract-Based Specications of Product Lines using Description Logic 31st international workshop on Description Logics Damir Nešić 2018 Engelska
34 Contract-based Specification and Description-Logic-Based Validation of Product Lines Damir Nešić 2018 Engelska
35 On modeling and diagnosis of friction and wear in industrial robots André Carvalho Bittencourt 2012 Engelska
36 Design and analysis of diagnosis systems using structural methods Mattias Krysander 2006 Engelska
37 Methods for automated design of fault detection and isolation systems with automotive applications Carl Svärd 2012 Engelska
38 Experience on applying software architecture recovery to automotive embedded systems CSMR-WCRE 2014; Antwerp; Belgium; 3 February 2014 through 6 February 2014 and Reverse Engineering Reengineering 2014 1st Software Evolution Week - IEEE Conference on Software Maintenance Xinhai Zhang 2014 Engelska
39 Probabilistic fault diagnosis. - with automotive applications Anna Pernestål 2009 Engelska
40 Structuring Safety Requirements in ISO 26262 using Contract Theory Jonas Westman 2013 Engelska

Förra sidan 1 2 3 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.