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)