>> Google Books

Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. 1st ed. 2015

フォーマット:
電子ブック
責任表示:
edited by Alessandro Fantechi, Patrizio Pelliccione
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
IX, 145 p. 47 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9274
目次情報:
Biological Immunity and Software Resilience: two faces of the same coin?
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol
Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems
Risk assessment based cloudification
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain
Tejo: a supervised anomaly detection scheme for NewSQL databases
Resiliency Variance in Workows with Choice
Biological Immunity and Software Resilience: two faces of the same coin?
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol
Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems
Risk assessment based cloudification
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain
続きを見る
書誌ID:
LB00386438
ISBN:
9783319231280 [3319231286]  CiNii Books  Webcat Plus  Google Books
9783319231297 [3319231294]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

El-Fakih, Khaled, Barlas, Gerassimos, Yevtushenko, Nina, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Weyns, Danny, Mirandola, Raffaela, Crnkovic, Ivica, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Calinescu, Radu, Rumpe, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Butler, Michael, Conchon, Sylvain, Zaidi, Fatiha, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Guneysu, Tim, Handschuh, Helena, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Taentzer, Gabriele, Bordeleau, Francis, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Pelc, Andrzej, Schwarzmann, Alexander A., SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Piterman, Nir, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Jonsson, Magnus, Vinel, Alexey, Bellalta, Boris, Tirkkonen, Olav, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Kolovos, Dimitris, Wimmer, Manuel, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Mousavi, Mohammad Reza, Berger, Christian, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Fischer, Joachim, Scheidgen, Markus, Schieferdecker, Ina, Reed, Rick, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer