Model Checking for Interlocking Safety

Model Checking for Interlocking Safety

Bibliographic Details
Main Author:	Simpson, A
Format:	Conference item
Published:	1998

Similar Items

On the cloud−enabled refinement checking of railway signalling interlockings
by: Simpson, A, et al.
Published: (2014)

Proving safety with trace automata and bounded model checking
by: Kroening, D, et al.
Published: (2015)

Interlocking with the past
by: Abd Razak, Dzulkifli
Published: (2011)

Interlocks [slaid]
Published: ([197)

The Mechanical Verification of Solid State Interlocking Geographic Data
by: Simpson, A, et al.
Published: (1997)

The Mechanical Verification of Solid State Interlocking Geographic Data
by: Simpson, A, et al.
Published: (1997)

Recursive interlocking puzzles
by: Song, Peng., et al.
Published: (2013)

Safety inspection guidelines and terminal safety check list for gas carriers/
by: Oil Companies International Marine Forum
Published: (1979)

A Dual Network Model Of Interlocking Directorates
by: Hung, Humphry, et al.
Published: (2003)

Developing a simulator to aid in the design of a safety interlock for self-driving cars
by: Leong Feng Ping, Angela.
Published: (2021)

Model checking /
by: Clarke, E. M., 1945-, et al.
Published: (1999)

Interlocking directorships and auditor change.
by: Malik @ Malek, Mazrah, et al.
Published: (2012)

Bioinspired mechanically interlocking structures
by: Zhu, Ming, et al.
Published: (2021)

Interlocking 3D structures
by: Yang, Lee Wei
Published: (2015)

Study of interlocking directorships in Singapore.
by: Yohanes Ivan.
Published: (2008)

Rational verification: from model checking to equilibrium checking
by: Wooldridge, M, et al.
Published: (2016)

Model−checking CSP
by: A. W. Roscoe
Published: (1994)

The use of mechanical interlock in dental prosthesis
by: Abdul Kadir, Mohammed Rafiq, et al.
Published: (2008)

The water resistance of interlocking block wall
by: Mohamad Aizuddin, Kamar
Published: (2015)

Production And Testing Of Lateritic Interlocking Blocks
by: Raheem, Akeem Ayinde, et al.
Published: (2012)

Interlocking ferrocement-brick composite slab.
by: Thanoon, Waleed Abdulmalik
Published: (2004)

An analysis of nonprofit board interlock networks
by: Li, Kevin Matthew.
Published: (2021)

Topology optimization of rigid interlocking assemblies
by: Aharoni, Lior, et al.
Published: (2021)

Mechanically interlocked and switchable molecules at surfaces.
by: Davis, J, et al.
Published: (2010)

Interlocked host molecules for anion recognition and sensing
by: Caballero, A, et al.
Published: (2013)

Interlocked host molecules for anion recognition and sensing
by: Caballero, A, et al.
Published: (2013)

Local Search in Model Checking
by: Roscoe, A, et al.
Published: (2009)

Model checking Timed CSP
by: Armstrong, P, et al.
Published: (2012)

Conformance checking of dynamic access control policies
by: Power, D, et al.
Published: (2011)

Conformance Checking of Dynamic Access Control Policies
by: Power, D, et al.
Published: (2011)

From model checking to equilibrium checking: reactive modules for rational verification
by: Gutierrez, J, et al.
Published: (2017)

Thermal resistance of interlocking block wall with infill
by: Muhammad Asyraf , Zulkifli
Published: (2015)

Design of new interlocking bricks making machine
by: Ramli, Mohd. Ridhwan
Published: (2010)

Structural response of interlocking composite masonry slab.
by: Jaafar, Mohd Saleh, et al.
Published: (2011)

Merging ontologies requires interlocking instituitional worlds
by: Colomb, Robert Micheal, et al.
Published: (2007)

Seismic analysis of interlocking mortarless hollow block
by: Hejazi, Farzad, et al.
Published: (2015)

Bi-axial response of interlocking composite joints
by: Saran Raj s/o Karunanithy
Published: (2023)

Interlocking directorates in Hong Kong’s financial sector.
by: Liang, Peishan.
Published: (2012)

Any Monotone Function Is Realized by Interlocked Polygons
by: Demaine, Erik D., et al.
Published: (2014)

Additive manufacturing of interlocking glass masonry units
by: Massimino, Daniel, et al.
Published: (2024)