A Formal Specification of an Automatic Train Protection System

A Formal Specification of an Automatic Train Protection System

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Simpson, A
مؤلفون آخرون:	Naftalin, M
التنسيق:	كتاب
منشور في:	1994

مواد مشابهة

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
حسب: Simpson, A
منشور في: (1995)

Real-time systems : formal specification and automatic verification /
حسب: 273586, وآخرون
منشور في: (2008)

Formal Specification Based Automatic Test Generation for Embedded Network Systems
حسب: Eun Hye Choi, وآخرون
منشور في: (2014-01-01)

Formal Specifications for Packet Communication Systems
حسب: Ellis, David J.
منشور في: (2023)

Semi−Automatic Revision of Formalized Knowledge
حسب: Nikitina, N
منشور في: (2010)

Formal specification of a specification library
حسب: Atreya, Sriram K
منشور في: (2005)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
حسب: Kroening, D, وآخرون
منشور في: (2005)

Formal specification and design /
حسب: Feijs, L. M. G. (Loe M. G.), وآخرون
منشور في: (2005)

On formal descriptions of synchronization requirements in multimedia systems
حسب: Fong, A, وآخرون
منشور في: (2008)

An introduction to formal specification and Z /
حسب: 377490 Potter, Ben, وآخرون
منشور في: (1991)

The formal specification for competency requirements
حسب: Roslina, Mohd Sidek, وآخرون
منشور في: (2011)

Formal Relational Database Design: An Exercise in Extending the Formal Template Language
حسب: Wu, N, وآخرون
منشور في: (2014)

The formal specification for the inventory system using Z language
حسب: Bakri, Siti Halimah, وآخرون
منشور في: (2013)

The synthesis of structural diagrams of automatic devices on formal neurons
حسب: Natalia L. Malinina
منشور في: (2023-12-01)

Formal models for privacy
حسب: Simpson, A, وآخرون
منشور في: (2016)

multiPDEVS: A Parallel Multicomponent System Specification Formalism
حسب: Damien Foures, وآخرون
منشور في: (2018-01-01)

Formal Trust Specification in Service Workflows
حسب: Viriyasitavat, W, وآخرون
منشور في: (2015)

Research on formal security policy model specification and its formal analysis
حسب: LI Li-ping1, وآخرون
منشور في: (2006-01-01)

Research on formal security policy model specification and its formal analysis
حسب: LI Li-ping1, وآخرون
منشور في: (2006-01-01)

On Formalizing and Normalizing Role-Based Access Control Systems
حسب: Power, D, وآخرون
منشور في: (2009)

A Case Study of the Formal Specification of a Parallel System using CSP
حسب: Roscoe, A, وآخرون
منشور في: (1997)

Investigating the readability of formal specification languages
حسب: Zimmerman, Marc Kenton, 1975-
منشور في: (2013)

A Formalization of the State Machine Specification Technique
حسب: Principato, Robert N., Jr.
منشور في: (2023)

Formal specification and design of a simple assembler
حسب: Sørensen, I, وآخرون
منشور في: (1987)

Towards a formal framework for workflow interoperability
حسب: Fernando, S, وآخرون
منشور في: (2008)

Towards a Formal Framework for Workflow Interoperability
حسب: Fernando, S, وآخرون
منشور في: (2009)

Organization of Interaction between Formal and Non-Formal Education as Direction of Teachers Training
حسب: M. R. Ilakavichus
منشور في: (2018-05-01)

Teaching Formal Methods in Context
حسب: Davies, J, وآخرون
منشور في: (2004)

Teaching Formal Methods in Context
حسب: Davies, J, وآخرون
منشور في: (2004)

Teaching Formal Methods in Context
حسب: Davies, J, وآخرون
منشور في: (2004)

Formal models for automotive systems and vehicular networks: benefits and challenges
حسب: dos Santos, E, وآخرون
منشور في: (2016)

A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
حسب: Jacobs, J, وآخرون
منشور في: (2015)

Automatic construction and verification algorithm for smart contracts based on formal verification
حسب: Rui Xie, وآخرون
منشور في: (2024-11-01)

A novel refined maintenance strategy for full life cycle of high‐speed automatic train protection system
حسب: Renwei Kang, وآخرون
منشور في: (2024-05-01)

A formal framework for specification-based embedded real-time system engineering
حسب: Ouimet, Martin, 1975-
منشور في: (2009)

On the formal specification and verification of network routing algorithms
حسب: Davies, J, وآخرون
منشور في: (1994)

Algorithms for minimum-violation planning with formal specifications
حسب: Reyes Castro, Luis I. (Luis Ignacio), وآخرون
منشور في: (2014)

Algorithms for autonomous urban navigation with formal specifications
حسب: Chaudhari, Pratik (Pratik Anil)
منشور في: (2014)

Formal specification of interactive graphics programming languages /
حسب: 456219 Mallgren, William R.
منشور في: (1983)

Teaching Formal Models of Concurrency Specification and Analysis
حسب: N. V. Shilov
منشور في: (2015-12-01)