Sage Journals: Discover world-class research

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 2016-5

Specification and verification of reconfigurable multi-agent system architectures

Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaidi Sahnoun

Multiagent and Grid Systems

Retricted access

Research article

First published 2020-12

A DEVS-based pivotal modeling formalism and its verification and validation framework

Kehinde G Samuel, Nourou-Dine M Bouare, Oumar Maïga [...]

SIMULATION

Retricted access

Research article

First published 2000-8

Nested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems

Irina A. Lomazova

Fundamenta Informaticae

Retricted access

Research article

First published 2022

Reachability in Simple Neural Networks

Marco Sälzer, Martin Lange

Fundamenta Informaticae

Retricted access

Research article

First published 2012-11

On Conditions for Modular Verification in Systems of Synchronising Components

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Fundamenta Informaticae

Retricted access

Research article

First published 1990

A Process Specification Formalism 1

S. Mauw, G.J. Veltink

Fundamenta Informaticae

Retricted access

Research article

First published 2020-11

DEv-PROMELA: modeling,verification,and validation of a video game by combining model-checking and simulation

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman

SIMULATION

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 2006-1

Generating Maude formal specifications from AUML diagrams

Farid Mokhati, Noura Boudiaf, Linda Badri [...]

Journal of Computational Methods in Sciences and Engineering

Search results