Search results: Sage Journals

Restricted accessResearch articleFirst published June, 2018

A methodology for model-based verification of safety contracts and performance requirements

Elena Gómez-Martínez, Ricardo J Rodríguez, Clara Benac-Earle [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open accessResearch articleFirst published May, 2016

Study on formal modeling and verification of safety computer platform

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Available accessResearch articleFirst published 2000

Knowledge Acquisition,Verification,and Validation in an Expert System for Improved Traffic Safety

Lisa Herland, Björn Möller, Rein Schandersson

Transportation Research Record: Journal of the Transportation Research Board

Available accessResearch articleFirst published May, 1998

Verification of Fire Models for Fire Safety System Design

Mingchun Luo, Yaping He

Journal of Fire Protection Engineering

Restricted accessResearch articleFirst published August, 2012

Risk-based verification of large offshore systems

Jin Wang, Ben Matellini, Alan Wall [...]

Proceedings of the Institution of Mechanical Engineers,Part M: Journal of Engineering for the Maritime Environment

Restricted accessResearch articleFirst published 2025

Vibration characteristics analysis of modular safety tire-vehicle system based on Lagrangian modeling and virtual prototype verification

Kongshu Deng, Kun Xu, Yuanyuan Li [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Free accessResearch articleFirst published July, 2009

Safety Integrity Verification of Legacy Systems

Colin Easton

Measurement and Control

Open accessResearch articleFirst published January, 2023

Examining User Verification Schemes,Safety and Secrecy Issues Affecting M-Banking: Systematic Literature Review

Nadire Cavus, Yakubu Bala Mohammed, Mohammed Bulama [...]

Sage Open

Open accessResearch articleFirst published December, 2023

Deviations From Best Practice: Findings From a Certified Patient Safety Organization Remote-Verification Observational Study of Intravenous Compounding of Chemotherapeutic and Ancillary Drugs

Jeffrey Lombardo, John Coles, Daniel Ryszka [...]

Journal of Pharmacy Practice

Available accessResearch articleFirst published December, 2023

Evaluating the Impact of Pharmacist Dual Verification of Anticancer Therapy in the Modern Era

Devon S. Stonerock, Kaylee Clark, Vishal Shah [...]

Journal of Pharmacy Technology

Restricted accessResearch articleFirst published June, 2018

A methodology for model-based verification of safety contracts and performance requirements

Elena Gómez-Martínez, Ricardo J Rodríguez, Clara Benac-Earle [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open accessResearch articleFirst published May, 2016

Study on formal modeling and verification of safety computer platform

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Available accessResearch articleFirst published 2000

Knowledge Acquisition,Verification,and Validation in an Expert System for Improved Traffic Safety

Lisa Herland, Björn Möller, Rein Schandersson

Transportation Research Record: Journal of the Transportation Research Board

Available accessResearch articleFirst published May, 1998

Verification of Fire Models for Fire Safety System Design

Mingchun Luo, Yaping He

Journal of Fire Protection Engineering

Restricted accessResearch articleFirst published August, 2012

Risk-based verification of large offshore systems

Jin Wang, Ben Matellini, Alan Wall [...]

Proceedings of the Institution of Mechanical Engineers,Part M: Journal of Engineering for the Maritime Environment

Restricted accessResearch articleFirst published 2025

Vibration characteristics analysis of modular safety tire-vehicle system based on Lagrangian modeling and virtual prototype verification

Kongshu Deng, Kun Xu, Yuanyuan Li [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Free accessResearch articleFirst published July, 2009

Safety Integrity Verification of Legacy Systems

Colin Easton

Measurement and Control

Open accessResearch articleFirst published January, 2023

Examining User Verification Schemes,Safety and Secrecy Issues Affecting M-Banking: Systematic Literature Review

Nadire Cavus, Yakubu Bala Mohammed, Mohammed Bulama [...]

Sage Open

Open accessResearch articleFirst published December, 2023

Deviations From Best Practice: Findings From a Certified Patient Safety Organization Remote-Verification Observational Study of Intravenous Compounding of Chemotherapeutic and Ancillary Drugs

Jeffrey Lombardo, John Coles, Daniel Ryszka [...]

Journal of Pharmacy Practice

Available accessResearch articleFirst published December, 2023

Evaluating the Impact of Pharmacist Dual Verification of Anticancer Therapy in the Modern Era

Devon S. Stonerock, Kaylee Clark, Vishal Shah [...]

Journal of Pharmacy Technology