Sage Journals: Discover world-class research

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 2013-8

Local Verification Using a Distributed State Space

Chiheb Ameur Abid, Belhassen Zouari

Fundamenta Informaticae

Retricted access

Research article

First 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

Retricted access

Research article

First published 2015-4

Generalizing the Compositions of Petri Nets Modules

Alexis Marechal, Didier Buchs

Fundamenta Informaticae

Retricted access

Research article

First published 2015-2

Modularized fault diagnosis model of induction motor based on radial basis function neural network

Wen Li, Huimin Zhao, Xinhua Yang [...]

Proceedings of the Institution of Mechanical Engineers,Part E: Journal of Process Mechanical Engineering

Open access

Article commentary

First published 2023-10

A Modular-Incremental Approach to Improving Compliance Verification With the Biological Weapons Convention

Nicholas R. Cropper, Shrestha Rath, Ryan J. C. Teo [...]

Health Security

Retricted access

Research article

First published 2024-1

Tansig type NLESO-based integral terminal sliding mode control for modular robot manipulators with uncertain disturbance: Theory and experimental verification

Bo Dong, Yuxin Cao, Yiming Cui [...]

Transactions of the Institute of Measurement and Control

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 1990

A Process Specification Formalism 1

S. Mauw, G.J. Veltink

Fundamenta Informaticae

Retricted access

Research article

First published 2014-7

Experimental validation of finite element modelling of a modular metal-on-polyethylene total hip replacement

Xijin Hua, Ling Wang, Mazen Al-Hajjar [...]

Proceedings of the Institution of Mechanical Engineers,Part H: Journal of Engineering in Medicine

Search results