Author: Şora Ioana Verbaeten Pierre Berbers Yolande
Publisher: Springer Publishing Company
ISSN: 1433-2779
Source: International Journal on Software Tools for Technology Transfer, Vol.9, Iss.2, 2007-03, pp. : 155-168
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The Alex language for circuit description
By Bozoyan Sh. Yeghiazaryan V.
Programming and Computer Software, Vol. 33, Iss. 4, 2007-07 ,pp. :
Composable Semantic Models for Actor Theories
By Talcott C.L.
LISP and Symbolic Computation, Vol. 11, Iss. 3, 1998-12 ,pp. :
Universally composable zero-knowledge sets
By Xu Haixia
International Journal of Grid and Utility Computing, Vol. 3, Iss. 1, 2012-03 ,pp. :
Using Specification and Description Language to Formalize Multiagent Systems
Applied Artificial Intelligence, Vol. 28, Iss. 5, 2014-05 ,pp. :