Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations

Authors
Publication date
29 August 2012
Publisher
'IntechOpen'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      IntechOpen

      redirect
      oaioai:intechopen.com:38492
      Last time updated on 07/05/2020