Using CSP||B Components: Application to a Platoon of Vehicles-Reference-Cited by-同舟云学术

Using CSP||B Components: Application to a Platoon of Vehicles

Published:2009 Issue: Volume: Page:103-118
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Colin Samuel,Lanoix Arnaud,Kouchnarenko Olga,Souquières Jeanine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03240-0_11

Reference19 articles.

1. Ferber, J., Muller, J.P.: Influences and reaction: a model of situated multiagent systems. In: 2nd Int. Conf. on Multi-agent Systems, pp. 72–79 (1996)

2. Daviet, P., Parent, M.: Longitudinal and lateral servoing of vehicles in a platoon. In: Proceeding of the IEEE Intelligent Vehicles Symposium, pp. 41–46 (1996)

3. Schneider, S.A., Treharne, H.E.: CSP theorems for communicating B machines. In: Formal Aspects of Computing, Special issue of IFM 2004 (2005)

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

5. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)

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

1. Formal verification of reconfigurable systems;Soft Computing;2023-05-06

2. Using formal methods for autonomous systems: Five recipes for formal verification;Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability;2021-07-27

3. Formal Verification of Multi-agent Plans for Vehicle Platooning;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2021

4. Formal Specification and Verification of Autonomous Robotic Systems;ACM Computing Surveys;2020-09-30

5. Robotics and Integrated Formal Methods: Necessity Meets Opportunity;Lecture Notes in Computer Science;2018