Sage Journals: Discover world-class research

Retricted access

Research article

First published 2003-2

Distributed Verification with LoLA

Karsten Schmidt

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

Local Verification Using a Distributed State Space

Chiheb Ameur Abid, Belhassen Zouari

Fundamenta Informaticae

Retricted access

Research article

First published 2010-04

Specification-based Verification in a Distributed Shared Memory Simulation Model

Worawan Marurngsith, Roland N. Ibbett

SIMULATION

Open access

Research article

First published 2017-11

Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems

Raja Oueslati, Olfa Mosbahi

Advances in Mechanical Engineering

Retricted access

Research article

First published 2016-2

Formal specification and verification of a distributed fault localization,isolation and supply restoration algorithm

Wanshui Ling, Jiaquan Yang, Jingxi Zou

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2021

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando

Fundamenta Informaticae

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 2010-6

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

Michał Knapik, Wojciech Penczek, Maciej Szreter [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1996-9

Distribution of Benzalkonium Cation into Mixed Cationic/Nonionic Micelles: Verification of Ion-Selective Electrode Measurements by UV Spectrophotometry

Paul J. Missel

Applied Spectroscopy

Open access

Research article

First published 2019-9

Efficient oblivious transfer with membership verification

Weiwei Liu, Da-Zhi Sun, Yangguang Tian

International Journal of Distributed Sensor Networks

Search results