Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

Journal of Software Engineering and Applications
doi 10.4236/jsea.2015.82006
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Scientific Research Publishing, Inc,

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy