Formale Fehlerbaumanalyse

Formal Methods for Safety and Security Case Studies for Aerospace Applications
Veröffentlicht: (2018)

Extensions of statecharts with probability, time, and stochastic timing
von: Jansen, David Nicolaas
Veröffentlicht: (2003)

Formal methods: applications and technology 11th International Workshop, FMICS 2006, and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers
Veröffentlicht: (2007)

Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers
Veröffentlicht: (2009)

Integrating security concerns into safety analysis of embedded systems using component fault trees
von: Steiner, Max
Veröffentlicht: (2016)

On the combination of model- and property-oriented description techniques
von: Deiß, Thomas 1964-
Veröffentlicht: (1999)

Formal methods for industrial critical systems a survey of applications
Veröffentlicht: (2013)

Formal methods for industrial critical systems a survey of applications
Veröffentlicht: (2013)

Integration formaler Spezifikation und Sicherheitsanalyse
Veröffentlicht: (2001)

Security engineering for vehicular IT systems improving the trustworthiness and dependability of automotive IT applications
von: Wolf, Marko
Veröffentlicht: (2009)

Formal techniques in real time and fault tolerant systems 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 ; Oldenburg, Germany, September 9 - 12, 2002 ; proceedings
Veröffentlicht: (2002)

Integration of software specification techniques for applications in engineering priority program Softspez of the German Research Foundation (DFG) ; final report
Veröffentlicht: (2004)

Formale Methoden zur Konstruktion eingebetteter Software
von: Lindner, Thomas
Veröffentlicht: (1999)

Formal methods for industrial critical systems
Veröffentlicht: (2015)

Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings
Veröffentlicht: (2012)

Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers
Veröffentlicht: (2009)

Software engineering for resilient systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15 - 16, 2014 ; proceedings
Veröffentlicht: (2014)

Model-based runtime analysis of distributed reactive systems
von: Bauer, Andreas Klaus
Veröffentlicht: (2007)

Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions
von: Alexander, Adrianna 1973-
Veröffentlicht: (2006)

Digitale Hardware/Software-Systeme Spezifikation und Verifikation
von: Haubelt, Christian 1972-, et al.
Veröffentlicht: (2010)

Modulares Beweisen temporallogischer Eigenschaften paralleler Programme
von: Bäumler, Simon 1974-
Veröffentlicht: (2010)

Large-scale complex IT systems development, operation and management ; 17th Monterey Workshop 2012, Oxford, UK, March 19 - 21, 2012 ; revised selected papers
Veröffentlicht: (2012)

Advanced use of fault trees
von: Schneeweiss, Winfrid G. 1934-
Veröffentlicht: (2009)

Synchronous equivalence formal methods for embedded systems
von: Hsieh, Harry, et al.
Veröffentlicht: (2001)

Performance analysis of multiprocessor real-time systems with shared resources = Performanzanalyse von Multiprozessor-Echtzeitsystemen mit gemeinsamen Ressourcen
von: Schliecker, Simon
Veröffentlicht: (2011)

Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers
Veröffentlicht: (2005)

Formal techniques in real time and fault tolerant systems 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998 ; proceedings
Veröffentlicht: (1998)

Mission critical operations primer
von: Mustard, Steve
Veröffentlicht: (2018)

Tagungsband Embedded Software Engineering Kongress 2022, 5. bis 9. Dezember 2022; Preconference 2. Dezember 2022
Veröffentlicht: (2022)

Tagungsband Embedded Software Engineering Kongress 2021, digital, 29. November bis 3. Dezember 2021, Preconference 26. November 2021
Veröffentlicht: (2021)

Tagungsband Embedded Software Engineering Kongress 2013 : 2. bis 6. Dezember 2013, Sindelfingen
Veröffentlicht: (2013)

Information flow analysis of discrete embedded control system models
von: Mikulcak, Marcus
Veröffentlicht: (2020)

Verhaltensgarantien in selbst-organisierenden Systemen
von: Nafz, Florian 1980-
Veröffentlicht: (2012)

Verified software: theories, tools and experiments 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers
Veröffentlicht: (2016)

Verified software: theories, tools and experiments 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers
Veröffentlicht: (2016)

Verified software: theories, tools, experiments 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17 - 19, 2013 ; revised selected papers
Veröffentlicht: (2014)