Specification and verification of reactive system behaviour: The Railroad Crossing example-Reference-Cited by-同舟云学术

Specification and verification of reactive system behaviour: The Railroad Crossing example

Published:1996-03 Issue:2 Volume:10 Page:143-178
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:Real-Time Systems

Author:

Armstrong James,Barroca Leonor

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/BF00360339.pdf

Reference13 articles.

1. DCSC/TR/92/7;L. Barroca,1992

2. Barroca, L. & J. McDermid 1993. Specification of real-time systems?a view-oriented approach. In Proceedings of XIII Congresso da Sociedade Brasileira de Computação, XX SEMISH, Seminário Integrado de Software e Hardware, Florianópolis, Brasil, Sociedade Brasileira de Computação.

3. Clements, P., C. Gasarch & R. Jeffords 1992. Evaluation criteria for real-time specifcation languages, Rpt. 6935. Naval Research Laboratories.

4. DCSC/TR/93/3;J. S. Fitzgerald,1993

5. Heitmeyer, C., R. Jeffords & B. Labaw 1993. Benchmark for comparing different approaches to specifying and verifying real-time systems. In IEEE Workshop on Real-Time Operating Systems and Software, IEEE.

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

1. Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems;Journal of Systems Architecture;2020-06

2. Leukocyte populations and cytokine expression in the mammary gland in a mouse model of Streptococcus agalactiae mastitis;Journal of Medical Microbiology;2009-07-01

3. Escherichia coli and Staphylococcus aureus Elicit Differential Innate Immune Responses following Intramammary Infection;Clinical and Vaccine Immunology;2004-05

4. Persistent Transgene Expression Following Intravenous Administration of a Liposomal Complex: Role of Interleukin-10-Mediated Immune Suppression;Molecular Therapy;2004-03

5. Monocyte cytokine secretion in patients with pulmonary tuberculosis differs from that of healthy infected subjects and correlates with clinical manifestations;Microbes and Infection;2004-01