Search results

Articles (6)

Journals (0)

1-6 of 6 results for Symbolic model checker

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2004-11

Bożena Woźna

Fundamenta Informaticae

Open access

Research article

First published 2015-5

José A. Mateo, Hermenegilda Macià, M. Carmen Ruiz [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2011-12

Steve Hostettler, Alexis Marechal, Alban Linard [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2005

Farn Wang, Geng-Dian Huang, Fang Yu

Journal of Embedded Computing

Retricted access

Research article

First published 2009-7

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundamenta Informaticae