( en | de | ru )

 

Disambiguierung von "Saglietti, Francesca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Visualisierung überdeckter sowie zu überdeckender Modellelemente im modellbasierten Test.

, , und . GI Jahrestagung, Volume P-154 von LNI, Seite 2815-2822. GI, (2009)

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.

Francesca Saglietti

Francesca Saglietti

Francesca Vidal

Francesca Venturini

Francesca Ros

 

Weitere Publikationen von Autoren mit dem selben Namen

Criticality and Sensitivity Analysis for Off-the-Shelf-Components in Safety-Relevant Systems.. ISAS-SCI (1), Seite 589-594. IIIS, (2001)Quantitative Assessment of Fault-Tolerant Software Architecture., und . Fehlertolerierende Rechensysteme, Volume 147 von Informatik-Fachberichte, Seite 284-297. Springer, (1987)Licensing Reliable Embedded Software for Safety-Critical Applications.. Real Time Syst., 28 (2-3): 217-236 (2004)Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems.. EUROMICRO, Seite 2193-2199. IEEE Computer Society, (2000)Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems., , , und . EUROMICRO-SEAA, Seite 479-483. IEEE Computer Society, (2015)The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Avaiability.. Fehlertolerierende Rechensysteme, Volume 214 von Informatik-Fachberichte, Seite 174-185. Springer, (1989)Visualisierung überdeckter sowie zu überdeckender Modellelemente im modellbasierten Test., , und . GI Jahrestagung, Volume P-154 von LNI, Seite 2815-2822. GI, (2009)Automatische Generierung optimaler modellbasierter Regressionstests., , , und . GI Jahrestagung (1), Volume P-133 von LNI, Seite 193-198. GI, (2008)Nachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren Komponenten., und . Sicherheit, Volume P-128 von LNI, Seite 303-314. GI, (2008)Model-based Testing of Autonomous Systems based on Coloured Petri Nets., und . ARCS Workshops, Volume P-200 von LNI, Seite 241-250. GI, (2012)