close
1.

電子ブック
ＥＢ
1. Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff B. Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Methods, Models and Tools for Fault Tolerance
Michael Butler, Cliff Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa
Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn
Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes
Fault Tolerance: Modelling in B / Part II：
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction / Elisabeth Ball ; Michael Butler
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems / Linas Laibinis ; Elena Troubitsyna ; Sari Leppanen
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B / Divakar Yadav
Model-Based Testing Using Scenarios and Event-B Refinements / Qaisar A. Malik ; Johan Lilius
Fault Tolerance in System Development Process / Part III：
Recording Process Documentation in the Presence of Failures / Zheng Chen ; Luc Moreau
Drep: A Requirements Engineering Process for Dependable Reactive Systems / Sadaf Mustafiz ; Jorg Kienzle
Documenting the Progress of the System Development / Marta Plaska ; Marina Walden ; Colin Snook
Fault Tolerance Requirements Analysis Using Deviations in the Correct Development Process / Andrey Berlizev ; Nicolas Guelfi
Fault Tolerant Applications / Part IV：
Step-Wise Development of Resilient Ambient Campus Scenarios / Alexei Iliasov ; Budi Arief ; Alexander Romanovsky
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / Anatoliy Gorbenko ; Vyacheslav Kharchenko
Author Index
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
3.

電子ブック
ＥＢ
3. Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff B. Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna, Cliff Jones
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Methods, Models and Tools for Fault Tolerance
Michael Butler, Cliff Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna, Cliff B. Jones
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa
Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn
Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes
Fault Tolerance: Modelling in B / Part II：
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction / Elisabeth Ball ; Michael Butler
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems / Linas Laibinis ; Elena Troubitsyna ; Sari Leppanen
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B / Divakar Yadav
Model-Based Testing Using Scenarios and Event-B Refinements / Qaisar A. Malik ; Johan Lilius
Fault Tolerance in System Development Process / Part III：
Recording Process Documentation in the Presence of Failures / Zheng Chen ; Luc Moreau
Drep: A Requirements Engineering Process for Dependable Reactive Systems / Sadaf Mustafiz ; Jorg Kienzle
Documenting the Progress of the System Development / Marta Plaska ; Marina Walden ; Colin Snook
Fault Tolerance Requirements Analysis Using Deviations in the Correct Development Process / Andrey Berlizev ; Nicolas Guelfi
Fault Tolerant Applications / Part IV：
Step-Wise Development of Resilient Ambient Campus Scenarios / Alexei Iliasov ; Budi Arief ; Alexander Romanovsky
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / Anatoliy Gorbenko ; Vyacheslav Kharchenko
Author Index
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼