Sage Journals: Discover world-class research

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

Open access

Research article

First published 2005-12

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

Alan FT Winfield, Jin Sa, Mari-Carmen Fernández-Gago [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2020-2

Checking the consistency of Object-Z formal specification based on theorem proof

Weiqing Wan, Yongqing Yu, Qingyan Zeng [...]

Journal of Computational Methods in Sciences and Engineering

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

Retricted access

Research article

First published 2017-11

A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach

Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

Multiagent and Grid Systems

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 1990

A Process Specification Formalism 1

S. Mauw, G.J. Veltink

Fundamenta Informaticae

Retricted access

Research article

First published 2009-11

Formal Specification and Analysis of Domain Specific Models Using Maude

José E. Rivera, Francisco Durán, Antonio Vallecillo

SIMULATION

Retricted access

Research article

First published 2003-5

TRANSACTION-ORIENTED ENGINEERING DESIGN AND FORMAL SPECIFICATION: A MULTI-AGENT APPROACH

Muhammad Younas, Kuo-Ming Chao, Rachid Anane [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2007-07

A Formal Description Specification for Multi-Resolution Modeling Based on DEVS Formalism and its Applications

Liu Baohong

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Search results