Development of Control Systems Guided by Models of their Environment-Reference-Cited by-同舟云学术

Development of Control Systems Guided by Models of their Environment

Published:2011-12 Issue: Volume:280 Page:57-68
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Hudon Simon,Hoang Thai Son

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference7 articles.

1. Rodin: an open toolset for modelling and reasoning in Event-B;Abrial;STTT,2010

2. Modeling in Event-B: System and Software Engineering;Abrial,2010

3. Michael Butler. Towards a Cookbook for Modelling and Refinement of Control Problems. Working paper, http://deploy-eprints.ecs.soton.ac.uk/108/, May 2009.

4. A Discipline of Programming;Dijkstra,1976

5. Validation of a railway interlocking model;Hansen,1994

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

1. Event-B Based Formal Modeling of a Controller: A Case Study;Advances in Intelligent Systems and Computing;2020-11-24

2. Systematic Construction of Critical Embedded Systems Using Event-B;Communications in Computer and Information Science;2018

3. A Composition Mechanism for Refinement-Based Methods;2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS);2017-11

4. MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL;2016 IEEE International Conference on Software Quality, Reliability and Security (QRS);2016-08

5. Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system;International Journal on Software Tools for Technology Transfer;2015-09-23