Model Checking for Interlocking Safety

Model Checking for Interlocking Safety

Xehetasun bibliografikoak
Egile nagusia:	Simpson, A
Formatua:	Conference item
Argitaratua:	1998

Antzeko izenburuak

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

Electrical safety-interlock systems/
nork: 334475 Hughes, D., et al.
Argitaratua: (1980)

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

Interlocking with the past
nork: Abd Razak, Dzulkifli
Argitaratua: (2011)

Interlocks [slaid]
Argitaratua: ([197)

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

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

Recursive interlocking puzzles
nork: Song, Peng., et al.
Argitaratua: (2013)

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

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

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

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

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

Model−checking CSP
nork: A. W. Roscoe
Argitaratua: (1994)

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

Bioinspired mechanically interlocking structures
nork: Zhu, Ming, et al.
Argitaratua: (2021)

Interlocking 3D structures
nork: Yang, Lee Wei
Argitaratua: (2015)

Study of interlocking directorships in Singapore.
nork: Yohanes Ivan.
Argitaratua: (2008)

Interlocking concrete block pavements /
nork: 415289 Sharp, K. G., et al.
Argitaratua: (1985)

Interlock-knitted cotton vests
nork: 982 SIRIM

Concrete interlocking roofing tiles
nork: 982 SIRIM

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

The water resistance of interlocking block wall
nork: Mohamad Aizuddin, Kamar
Argitaratua: (2015)

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

Interlocking ferrocement-brick composite slab.
nork: Thanoon, Waleed Abdulmalik
Argitaratua: (2004)

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

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

Flexural strenght of interlocking block beams /
nork: Sukri Firdaus Omar, 1986-, et al.
Argitaratua: (2009)

Flexural strength of interlocking block beam /
nork: Maizatul Asnie Mohd. Aris, 1985-, author, et al.
Argitaratua: (2010)

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

The use of mechanical interlock indental prosthesis /
nork: Mohammed Rafiq Abdul Kadir, author, et al.
Argitaratua: (2008)

Local Search in Model Checking
nork: Roscoe, A, et al.
Argitaratua: (2009)

Model checking Timed CSP
nork: Armstrong, P, et al.
Argitaratua: (2012)

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

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

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

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

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

Central limit model checking
nork: Bortolussi, L, et al.
Argitaratua: (2019)

Central limit model checking
nork: Bortolussi, L, et al.
Argitaratua: (2018)