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

Real-Time Systems - Netherlands
doi 10.1007/bf00360339
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2012English

Formal Specification and Verification

2019English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2011English

1h4-1 Walking Velocity in Consideration of Railroad Crossing Warning

The Japanese Journal of Ergonomics
2016English

Formal Specification and Verification of Dynamic Parametrized Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

MetAcsl: Specification and Verification of High-Level Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Dynamic Access Control Policies: Specification and Verification

Computer Journal
Computer Science
2012English

Quantitative Reactive Modeling and Verification

Computer Science - Research and Development
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy