IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model Checking of Computer-Based Systems

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)

Author(s): Jinzhao Wu ; Wei Yan
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2007
Conference Location: Tucson, AZ, USA
Conference Date: 26 March 2007
Page(s): 557 - 568
ISBN (Paper): 0-7695-2772-8
DOI: 10.1109/ECBS.2007.49
Regular:

Computer-based systems, especially multi-agent systems which incorporate multi-agents physically distributed, can be represented as event structures. We propose an action-based event structure... View More

Advertisement