Model Checking for Interlocking Safety

Model Checking for Interlocking Safety

מידע ביבליוגרפי
מחבר ראשי:	Simpson, A
פורמט:	Conference item
יצא לאור:	1998

פריטים דומים

On the cloud−enabled refinement checking of railway signalling interlockings
מאת: Simpson, A, et al.
יצא לאור: (2014)

Proving safety with trace automata and bounded model checking
מאת: Kroening, D, et al.
יצא לאור: (2015)

Interlocking with the past
מאת: Abd Razak, Dzulkifli
יצא לאור: (2011)

Interlocks [slaid]
יצא לאור: ([197)

The Mechanical Verification of Solid State Interlocking Geographic Data
מאת: Simpson, A, et al.
יצא לאור: (1997)

The Mechanical Verification of Solid State Interlocking Geographic Data
מאת: Simpson, A, et al.
יצא לאור: (1997)

Recursive interlocking puzzles
מאת: Song, Peng., et al.
יצא לאור: (2013)

Safety inspection guidelines and terminal safety check list for gas carriers/
מאת: Oil Companies International Marine Forum
יצא לאור: (1979)

A Dual Network Model Of Interlocking Directorates
מאת: Hung, Humphry, et al.
יצא לאור: (2003)

Developing a simulator to aid in the design of a safety interlock for self-driving cars
מאת: Leong Feng Ping, Angela.
יצא לאור: (2021)

Model checking /
מאת: Clarke, E. M., 1945-, et al.
יצא לאור: (1999)

Interlocking directorships and auditor change.
מאת: Malik @ Malek, Mazrah, et al.
יצא לאור: (2012)

Bioinspired mechanically interlocking structures
מאת: Zhu, Ming, et al.
יצא לאור: (2021)

Interlocking 3D structures
מאת: Yang, Lee Wei
יצא לאור: (2015)

Study of interlocking directorships in Singapore.
מאת: Yohanes Ivan.
יצא לאור: (2008)

Rational verification: from model checking to equilibrium checking
מאת: Wooldridge, M, et al.
יצא לאור: (2016)

Model−checking CSP
מאת: A. W. Roscoe
יצא לאור: (1994)

The use of mechanical interlock in dental prosthesis
מאת: Abdul Kadir, Mohammed Rafiq, et al.
יצא לאור: (2008)

The water resistance of interlocking block wall
מאת: Mohamad Aizuddin, Kamar
יצא לאור: (2015)

Production And Testing Of Lateritic Interlocking Blocks
מאת: Raheem, Akeem Ayinde, et al.
יצא לאור: (2012)

Interlocking ferrocement-brick composite slab.
מאת: Thanoon, Waleed Abdulmalik
יצא לאור: (2004)

An analysis of nonprofit board interlock networks
מאת: Li, Kevin Matthew.
יצא לאור: (2021)

Topology optimization of rigid interlocking assemblies
מאת: Aharoni, Lior, et al.
יצא לאור: (2021)

Mechanically interlocked and switchable molecules at surfaces.
מאת: Davis, J, et al.
יצא לאור: (2010)

Local Search in Model Checking
מאת: Roscoe, A, et al.
יצא לאור: (2009)

Interlocked host molecules for anion recognition and sensing
מאת: Caballero, A, et al.
יצא לאור: (2013)

Interlocked host molecules for anion recognition and sensing
מאת: Caballero, A, et al.
יצא לאור: (2013)

Model checking Timed CSP
מאת: Armstrong, P, et al.
יצא לאור: (2012)

Conformance checking of dynamic access control policies
מאת: Power, D, et al.
יצא לאור: (2011)

Conformance Checking of Dynamic Access Control Policies
מאת: Power, D, et al.
יצא לאור: (2011)

From model checking to equilibrium checking: reactive modules for rational verification
מאת: Gutierrez, J, et al.
יצא לאור: (2017)

Thermal resistance of interlocking block wall with infill
מאת: Muhammad Asyraf , Zulkifli
יצא לאור: (2015)

Design of new interlocking bricks making machine
מאת: Ramli, Mohd. Ridhwan
יצא לאור: (2010)

Structural response of interlocking composite masonry slab.
מאת: Jaafar, Mohd Saleh, et al.
יצא לאור: (2011)

Merging ontologies requires interlocking instituitional worlds
מאת: Colomb, Robert Micheal, et al.
יצא לאור: (2007)

Seismic analysis of interlocking mortarless hollow block
מאת: Hejazi, Farzad, et al.
יצא לאור: (2015)

Bi-axial response of interlocking composite joints
מאת: Saran Raj s/o Karunanithy
יצא לאור: (2023)

Interlocking directorates in Hong Kong’s financial sector.
מאת: Liang, Peishan.
יצא לאור: (2012)

Any Monotone Function Is Realized by Interlocked Polygons
מאת: Demaine, Erik D., et al.
יצא לאור: (2014)

Additive manufacturing of interlocking glass masonry units
מאת: Massimino, Daniel, et al.
יצא לאור: (2024)