Skip to contents

Saglietti, Francesca [Editor]; Oster, Norbert [Other] ; SAFECOMP 26 2007 Nürnberg

Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4680
Lill, Raimar [Author] ; Saglietti, Francesca [Degree supervisor]; Saglietti, Francesca [Other]

Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2021
Lill, Raimar [Author] ; Saglietti, Francesca [Degree supervisor]; Saglietti, Francesca [Other]

Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze

View online
Schließen

Access

... to E-book (freely accessible ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2021
Meitner, Matthias [Author] ; Saglietti, Francesca [Degree supervisor]

Quantitative Bewertung der Softwarezuverlässigkeit unter Berücksichtigung der Komponenteninteraktionen

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2015
Pinte, Florin-Avram [Author] ; Saglietti, Francesca [Degree supervisor]

Automatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012
Saglietti, Francesca [Other]; Oster, Norbert [Other]

Computer Safety, Reliability, and Security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4680
Spisländer, Marc [Author] ; Freiling, Felix C. [Degree supervisor]; Saglietti, Francesca [Other]

Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018
Saglietti, Francesca [Author]; Sardy, Loui Al [Author]; Spisländer, Marc [Author]; Neubaum, Andreas [Author] ; Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl für Software Engineering

SMARTEST - „Evaluierung von Verfahren zum Testen der Informationssicherheit in der nuklearen Leittechnik durch smarte Testfallgenerierung – Modellbasierte Teststrategien" : Abschlussbericht = SMARTEST - „Evaluation of Testing Techniques for IT-Security Checks in Automatic Control Software for Nuclear Power Plants – Model-based Testing Strategies“

View online
Schließen

Access

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erlangen]: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 09.04.2019
Trapp, Mario [Editor]; Saglietti, Francesca [Editor]; Spisländer, Marc [Editor]; Bitsch, Friedemann [Editor]

Computer Safety, Reliability, and Security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings - [1st ed. 2022.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

Published in: Lecture Notes in Computer Science ; 13414- Springer eBook Collection
Wolf, Marko [Author]; Weimerskirch, André [Author]; Paar, Christof [Author]; Plödereder, Erhard [Author]; Keller, Hubert B. [Author]; von Sommerfeld, Hans [Author]; Dencker, Peter [Author]; Tonndorf, Michael [Author]; Saglietti, Francesca [Author]

Sicherheit in automobilen Bussystemen

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2004-01-01

Published in: Automotive - safety & security 2004 : Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Saglietti, Francesca

Licensing Reliable Embedded Software for Safety-Critical Applications

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2004

Published in: Real-Time Systems, 28 (2004) 2/3, Seite 217-236
Saglietti, Francesca

T. Grams: Grundlagen des Qualitäts- und Risikomanagement: Zuverlässigkeit, Sicherheit, Bedienbarkeit

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Walter de Gruyter GmbH, 2003

Published in: at - Automatisierungstechnik, 51 (2003) 3, Seite 145-146
Saglietti, Francesca

Computer Safety, Reliability and Security: Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1998

Published in: Computer Safety, Reliability and Security (1998), Seite 319-328
Meitner, Matthias; Saglietti, Francesca

Lecture Notes in Computer Science: Target-Specific Adaptations of Coupling-Based Software Reliability Testing

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2014

Published in: Lecture Notes in Computer Science (2014), Seite 192-206
Saglietti, Francesca; Lill, Raimar

A Testing Pattern for Automatic Control Software Addressing Different Degrees of Process Autonomy and Cooperation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2014

Published in: IFAC Proceedings Volumes, 47 (2014) 3, Seite 1599-1604
Meitner, Matthias; Saglietti, Francesca

Lecture Notes in Computer Science: Software Reliability Testing Covering Subsystem Interactions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Lecture Notes in Computer Science (2012), Seite 46-60
Oster, Norbert; Saglietti, Francesca

Lecture Notes in Computer Science: Automatic Test Data Generation by Multi-objective Optimisation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Lecture Notes in Computer Science (2006), Seite 426-438
Saglietti, Francesca; Spengler, Ralf; Meitner, Matthias

Lecture Notes in Computer Science: Quantitative Reliability Assessment for Mobile Cooperative Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Lecture Notes in Computer Science (2016), Seite 118-129
Saglietti, Francesca; Winzinger, Stefan; Lill, Raimar

Lecture Notes in Computer Science: Reconfiguration Testing for Cooperating Autonomous Agents

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Lecture Notes in Computer Science (2015), Seite 144-155
Saglietti, Francesca; Oster, Norbert; Söhnlein, Sven

Qualität und Zuverlässigkeit im Software Engineering

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Walter de Gruyter GmbH, 2008

Published in: Zeitschrift für wirtschaftlichen Fabrikbetrieb, 103 (2008) 6, Seite 407-412

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication