A Formal Specification of an Automatic Train Protection System

A Formal Specification of an Automatic Train Protection System

Bibliographic Details
Main Author:	Simpson, A
Other Authors:	Naftalin, M
Format:	Book
Published:	1994

Similar Items

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
by: Simpson, A
Published: (1995)

Real-time systems : formal specification and automatic verification /
by: 273586, et al.
Published: (2008)

Formal specification of a specification library
by: Atreya, Sriram K
Published: (2005)

Formal Specifications for Packet Communication Systems
by: Ellis, David J.
Published: (2023)

Semi−Automatic Revision of Formalized Knowledge
by: Nikitina, N
Published: (2010)

Formal specification and design /
by: Feijs, L. M. G. (Loe M. G.), et al.
Published: (2005)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
by: Kroening, D, et al.
Published: (2005)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

The formal specification for the inventory system using Z language
by: Bakri, Siti Halimah, et al.
Published: (2013)

On formal descriptions of synchronization requirements in multimedia systems
by: Fong, A, et al.
Published: (2008)

Formal Trust Specification in Service Workflows
by: Viriyasitavat, W, et al.
Published: (2015)

Design and development of an automatic rain protection system
by: Min, Nay Pyi
Published: (2016)

Automatic fire protection systems and devices [transparensi]
Published: (1969)

Formal models for privacy
by: Simpson, A, et al.
Published: (2016)

A Formalization of the State Machine Specification Technique
by: Principato, Robert N., Jr.
Published: (2023)

Formal specification and design of a simple assembler
by: Sørensen, I, et al.
Published: (1987)

Investigating the readability of formal specification languages
by: Zimmerman, Marc Kenton, 1975-
Published: (2013)

Formal Relational Database Design: An Exercise in Extending the Formal Template Language
by: Wu, N, et al.
Published: (2014)

A Case Study of the Formal Specification of a Parallel System using CSP
by: Roscoe, A, et al.
Published: (1997)

Automatic protection system for slow rate events in power systems
by: Gheitasi, A., et al.
Published: (2009)

Does Formal System Dynamics Training Improve People's Understanding of Accumulation?
by: Sterman, John
Published: (2013)

A study of automatic train control
by: Holdrege, C. F., et al.
Published: (2024)

On Formalizing and Normalizing Role-Based Access Control Systems
by: Power, D, et al.
Published: (2009)

Towards a formal framework for workflow interoperability
by: Fernando, S, et al.
Published: (2008)

Towards a Formal Framework for Workflow Interoperability
by: Fernando, S, et al.
Published: (2009)

A survey of smart contract formal specification and verification
by: Tolmach, Palina, et al.
Published: (2022)

The formal semantics of a domain-specific modelling language
by: Grealish, C
Published: (2010)

Formal specification using Z : a modelling approach /
by: 465694 Bottaci, Leonardo, et al.
Published: (1995)

On the formal specification and verification of network routing algorithms
by: Davies, J, et al.
Published: (1994)

Algorithms for minimum-violation planning with formal specifications
by: Reyes Castro, Luis I. (Luis Ignacio), et al.
Published: (2014)

Algorithms for autonomous urban navigation with formal specifications
by: Chaudhari, Pratik (Pratik Anil)
Published: (2014)

Formal specification of interactive graphics programming languages /
by: 456219 Mallgren, William R.
Published: (1983)

A formal framework for specification-based embedded real-time system engineering
by: Ouimet, Martin, 1975-
Published: (2009)

What is formal verification without specifications? A survey on mining LTL specifications
by: Neider, D, et al.
Published: (2024)

Specification and transformation of programs : a formal approach to software development /
by: 363752 Partsch, Helmut A.
Published: (1990)

Teaching Formal Methods in Context
by: Davies, J, et al.
Published: (2004)

Teaching Formal Methods in Context
by: Davies, J, et al.
Published: (2004)

Teaching Formal Methods in Context
by: Davies, J, et al.
Published: (2004)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
by: Viriyasitavat, W, et al.
Published: (2011)

Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis
by: Avnit, K, et al.
Published: (2009)