Rigorous Development of Fault-Tolerant Agent Systems-Reference-Cited by-同舟云学术

Rigorous Development of Fault-Tolerant Agent Systems

Published:2006 Issue: Volume: Page:241-260
ISSN:0302-9743
Container-title:Rigorous Development of Complex Fault-Tolerant Systems
language:
Short-container-title:

Author:

Laibinis Linas,Troubitsyna Elena,Iliasov Alexei,Romanovsky Alexander

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11916246_13.pdf

Reference20 articles.

1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)

2. Lecture Notes in Computer Science;J.-R. Abrial,1998

3. Abrial, J.-R.: Event Driven Sequential Program Construction (2000), available at: http://www.matisse.qinetiq.com

4. Arief, B., Iliasov, A., Romanovsky, A.: On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems. University of Newcastle (2006)

5. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intelligent Systems, Special Issue on Dependable Agent Systems 19(5), 46–52 (2004)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus;Lecture Notes in Computer Science;2024

2. Safety-Aware Control of Swarms of Drones;Lecture Notes in Computer Science;2017

3. Model-Based Testing Using Scenarios and Event-B Refinements;Methods, Models and Tools for Fault Tolerance;2009

4. Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B;Methods, Models and Tools for Fault Tolerance;2009

5. Recording Process Documentation in the Presence of Failures;Methods, Models and Tools for Fault Tolerance;2009