Sage Journals: Discover world-class research

Retricted access

Research article

First published 2000-7

Formal Asynchronous Systems Modelling

Markus Kohn, Hartmut Schmeck

Fundamenta Informaticae

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

Retricted access

Research article

First published 2002-1

A Formalization of Transition P Systems

Mario J. Pérez-Jiménez, Fernando Sancho-Caparrini

Fundamenta Informaticae

Retricted access

Research article

First published

An outline of the use of transition systems to formalize JADE agents and multi-agent systems

Federico Bergenti, Eleonora Iotti, Agostino Poggi

Intelligenza Artificiale

Retricted access

Research article

First published 2014-1

Formal Description of Alvis Language with α 0 System Layer

Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019-4

A Lagrangian–Hamiltonian unified formalism for a class of dissipative systems

Hamid Said

Mathematics and Mechanics of Solids

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 2026-4

Formal analysis of protection systems in power distribution networks

Sobia Ashraf, Iram Tariq Bhatti, Osman Hasan

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

Open access

Research article

First published 2022-9

Banana seed exchange networks in Burundi – Linking formal and informal systems

Innocent Nduwimana, Serigne Sylla, Yanru Xing [...]

Outlook on Agriculture

Retricted access

Research article

First published 2018-9

Configuration space–based discrete event system specification formalism for a smart factory with real-time flexibility

Dae S Chang, Sang C Park

Concurrent Engineering

Search results