close
1.

電子ブック

EB
Michael Butler, Cliff B. Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック

EB
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.

電子ブック

EB
Michael Butler, Michael G. Hinchey, Michael Gerard Hinchey, Takeo Kanade, María M. Larrondo-Petrie
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
A System Development Process with Event-B and the Rodin Platform / Jean-Raymond Abrial
Challenges in Software Certification / Tom Maibaum
Security and Knowledge
Integrating Formal Methods with System Management / Martin de Groot
Formal Engineering of XACML Access Control Policies in VDM++ / Jeremy W. Bryans ; John S. Fitzgerald
A Verification Framework for Agent Knowledge / Jin Song Dong ; Yuzhang Feng ; Ho-fung Leung
Embedded Systems
From Model-Based Design to Formal Verification of Adaptive Embedded Systems / Rasmus Adler ; Ina Schaefer ; Tobias Schuele ; Eric Vecchie
Machine-Assisted Proof Support for Validation Beyond Simulink / Chunqing Chen ; Jun Sun
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System / Jacques Julliand ; Hassan Mountassir ; Emilie Oudot
Testing
Integrating Specification-Based Review and Testing for Detecting Errors in Programs / Shaoying Liu
Testing for Refinement in CSP / Ana Cavalcanti ; Marie-Claude Gaudel
Reducing Test Sequence Length Using Invertible Sequences / Lihua Duan ; Jessica Chen
Automated Analysis
Model Checking with SAT-Based Characterization of ACTL Formulas / Wenhui Zhang
Automating Refinement Checking in Probabilistic System Design / Carlos Gonzalia ; Annabelle McIver
Model Checking in Practice: Analysis of Generic Bootloader Using SPIN / Kuntal Das Barman ; Debapriyay Mukhopadhyay
Model Checking Propositional Projection Temporal Logic Based on SPIN / Cong Tian ; Zhenhua Duan
Hardware
A Denotational Semantics for Handel-C Hardware Compilation / Juan Ignacio Perna ; Jim Woodcock
Automatic Generation of Verified Concurrent Hardware / Marcel Oliveira
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking / Guillermo Rodriguez-Navas ; Julian Proenza ; Hans Hansson
Concurrency
Efficient Symbolic Execution of Large Quantifications in a Process Algebra / Benoit Fraikin ; Marc Frappier
Formalizing SANE Virtual Processor in Thread Algebra / Thuy Duong Vu ; Chris Jesshope
Calculating and Composing Progress Properties in Terms of the Leads-to Relation / Arjan J. Mooij
Author Index
Invited Talks
A System Development Process with Event-B and the Rodin Platform / Jean-Raymond Abrial
Challenges in Software Certification / Tom Maibaum
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼