Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016

SyLVaaS: System Level Formal Verification as a Service *

Toni Mancini, Federico Mari, Annalisa Massini [...]

Fundamenta Informaticae

Open access

Research article

First published 2019

Medication safety in emergency medical services: approaching an evidence-based method of verification to reduce errors

Paul Misasi, Joseph R. Keebler

Therapeutic Advances in Drug Safety

Open access

Research article

First published 2018-6

Cloud manufacturing service composition and formal verification based on extended process calculus

Yongxiang Li, Xifan Yao

Advances in Mechanical Engineering

Open access

Research article

First published 2013-5

Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network

Ning Xi, Jianfeng Ma, Cong Sun [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2014-12

Service employees and self-verification: The roles of occupational stigma consciousness and core self-evaluations

Amanda Shantz, Jonathan E Booth

Human Relations

Open access

Research article

First published 2026

Verification practices in public service media as a bulwark against misinformation: Evidence from the BBC and ARD

Regina Cazzamatta

Journalism

Retricted access

Research article

First published 2012-3

WST: a tool supporting timed composite Web Services Model transformation

M Emilia Cambronero, Gregorio Díaz, Enrique Martínez [...]

SIMULATION

Retricted access

Research article

First published 2007-01

CSP-Based Verification for Web Service Orchestration and Choreography

W.L. Yeung

SIMULATION

Retricted access

Other

First published 2008-03

Psychometric Verification of Perry's Public Service Motivation Instrument

David H. Coursey, James L. Perry, Jeffrey L. Brudney [...]

Review of Public Personnel Administration

Retricted access

Research article

First published 2011-2

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions

Federico Chesani, Paola Mello, Marco Montali [...]

Intelligenza Artificiale

Search results