Safety-critical systems, formal methods and standards-Reference-Cited by-同舟云学术

Safety-critical systems, formal methods and standards

Published:1993 Issue:4 Volume:8 Page:189
ISSN:0268-6961
Container-title:Software Engineering Journal
language:en
Short-container-title:Softw. Eng. J. UK

Author:

Bowen Jonathan,Stavridou Victoria

Publisher

Institution of Engineering and Technology (IET)

Subject

General Engineering,General Computer Science

Link

https://digital-library.theiet.org/content/journals/10.1049/sej.1993.0025?crawler=true&mimetype=application/pdf

Reference181 articles.

1. Swade, D.: Charles Babbage and his calculating engines, (Science Museum, London, UK 1991)

2. Augarten, S., and Augarten, S.: ‘The Whirlwind project’, Bit by bit: an illustrated history of computers, (Ticknor & Fields, New York 1984),7, p. 195–223

3. von Neumann, J.: ‘Probabilistic logics and synthesis of reliable organisms form unreliable components’, Collected works, (Pergamon Press 1961),5,

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

1. Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets;Journal of Systems and Software;2024-04

2. Creating Formal Models from Informal Design Artefacts;International Journal of Human–Computer Interaction;2022-08-02

3. Acceptance sampling to aid in the verification of computational simulations;International Journal of Modeling, Simulation, and Scientific Computing;2022-03-28

4. Interactive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural Faults;INCOSE International Symposium;2022-02

5. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14