Supporting Reuse in Event B Development: Modularisation Approach-Reference-Cited by-同舟云学术

Supporting Reuse in Event B Development: Modularisation Approach

Published:2010 Issue: Volume: Page:174-188
ISSN:0302-9743
Container-title:Abstract State Machines, Alloy, B and Z
language:
Short-container-title:

Author:

Iliasov Alexei,Troubitsyna Elena,Laibinis Linas,Romanovsky Alexander,Varpaaniemi Kimmo,Ilic Dubravka,Latvala Timo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-11811-1_14

Reference18 articles.

1. Abadi, M., Lamport, L.: Composing Specifications. ACM Transactions on Programming Languages and Systems 15(1), 73–132 (1993)

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

3. Abrial, J.-R.: Extending B without Changing it. In: Proceedings of 1st Conference on the B Method, Nantes, France, November 1996, pp. 169–191. Springer, Heidelberg (1996)

4. Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: Application to event-b. Fundam. Inf. 77(1-2), 1–28 (2007)

5. Lecture Notes in Computer Science;R. Back,1990

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

1. Assessing Dependability of Multi-robotic Systems within Formal Development;2022 6th International Conference on System Reliability and Safety (ICSRS);2022-11-23

2. Building Specifications in the Event-B Institution;Logical Methods in Computer Science;2022-11-09

3. Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems;2022 8th International Conference on Control, Decision and Information Technologies (CoDIT);2022-05-17

4. An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications;The Computer Journal;2021-09-15

5. Modelling and Verification of Safety of Access Control in SCADA Systems;Lecture Notes in Computer Science;2021