Sage Journals: Discover world-class research

Retricted access

Research article

First published 2015-12

Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility

Kiwook Jung, KC Morris, Kevin W Lyons [...]

Concurrent Engineering

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 2000-7

Formal Asynchronous Systems Modelling

Markus Kohn, Hartmut Schmeck

Fundamenta Informaticae

Retricted access

Research article

First published 2006-11

ON THE EVOLUTION OF RELIABILITY METHODS FOR CRITICAL SOFTWARE

María del Mar Gallardo, Jesús Martínez, Pedro Merino [...]

Journal of Integrated Design and Process Science

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

Automatic Modeling and Analysis of MSC-specified Systems

Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina

Fundamenta Informaticae

Retricted access

Research article

First published 2013-1

Principles of Discrete Event System Specification model verification

Hesham Saadawi, Gabriel Wainer

SIMULATION

Retricted access

Research article

First published 2014-1

Complexity management methodology for fuzzy systems with feedback rule bases

Alexander Gegov, David Sanders, Boriana Vatchova

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

Retricted access

Research article

First published 2015-5

Complexity management methodology for fuzzy systems with feedforward rule bases

Alexander Gegov, David Sanders, Boriana Vatchova

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2022-9-20

Decision-making under uncertainty for multi-robot systems

Bruno Lacerda, Anna Gautier, Alex Rutherford [...]

The European Journal on Artificial Intelligence

Search results