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

Free access

Other

First published 2009-1-1

A Mobile-Based Face Verification System

Zongying Ou, Tieming Su, Fan Ou [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2003-8

MODELING AND VERIFICATION OF REAL-TIME SYSTEMS

Cengiz Erbas, Murat M. Tanik

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2007-6

Verification of Concurrent Systems with Parametric Delays Using Octahedra

Robert Clarisó, Jordi Cortadella

Fundamenta Informaticae

Retricted access

Research article

First published 2020-02-06

Formal verification of a task scheduler for embedded operating systems

Haiyong Sun, Hang Lei

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2004-12

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016-1

Towards a framework for more robust validation and verification of simulation models for systems of systems

Bernard P Zeigler, James J Nutaro

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published 2023-4

Using formal methods for autonomous systems: Five recipes for formal verification

Matt Luckcuck

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

Free access

Research article

First published 2010-2

Improving user verification by implementing an agent-based security system

Erik Dovgan, Boštjan Kaluža, Tea Tušar [...]

Journal of Ambient Intelligence and Smart Environments

Free access

Other

First published 2005-2

Multichannel Verification System (MVS): A Dual-Dye Ratiometric Photometry System for Performance Verification of Multichannel Liquid Delivery Devices

John Thomas Bradshaw, Tanya Knaide, Alex Rogers [...]

Journal of Laboratory Automation

Search results