Toggle Main Menu Toggle Search

Open Access padlockePrints

Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example

Lookup NU author(s): Dr James Armstrong

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Armstrong JM, Barrocca LM

Publication type: Article

Publication status: Published

Journal: Real-Time Systems: The International Journal of Time-Critical Computing Systems

Year: 1996

Volume: 10

Issue: 2

Pages: 143-178

Print publication date: 01/01/1996

ISSN (print): 0922-6443

Publisher: Kluwer Academic Publishers


Share