A formal approach for the development of reactive systems-Reference-Cited by-同舟云学术

A formal approach for the development of reactive systems

Published:2011-01 Issue:1 Volume:53 Page:14-33
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Mosbahi Olfa,Jemni Ben Ayed Leila,Khalgui Mohamed

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference54 articles.

1. A systematic review of statistical power in software engineering experiments;Dybå;Information and Software Technology,2006

2. Combining empirical results in software engineering;Pickard;Information and Software Technology,1998

3. An analysis of the most cited articles in software engineering journals 1999;Wohlin;Information and Software Technology,2005

4. Education in formal methods for software engineering;Wordsworth;Information and Software Technology,1987

5. E.M. Clarke, O. GRUMBERG, S. Jha, Y. Lu, H. Veith, Progress on the state explosion problem in model checking, in: Lecture Notes in Computer Science, vol. 2000, 2001, pp. 176–194.

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

1. Review and Design of Integrated Dashboard Model for Performance Measurements;Lecture Notes in Networks and Systems;2024

2. On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment;IEEE Access;2019

3. Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems;Advances in Mechanical Engineering;2017-11

4. A formal approach for the specification and verification of a Trustworthy Human Resource Discovery mechanism in the Expert Cloud;Expert Systems with Applications;2015-09

5. Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources;Computers in Industry;2015-04