MCMAS: an open-source model checker for the verification of multi-agent systems

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-2787
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
MCMAS: an open-source model checker for the verification of multi-agent systems ; volume:19 ; number:1 ; day:26 ; month:4 ; year:2015 ; pages:9-30 ; date:2.2017
International journal on software tools for technology transfer ; 19, Heft 1 (26.4.2015), 9-30, 2.2017

Klassifikation
Informatik

Urheber
Lomuscio, Alessio
Beteiligte Personen und Organisationen
Qu, Hongyang
Raimondi, Franco
SpringerLink (Online service)

DOI
10.1007/s10009-015-0378-x
URN
urn:nbn:de:1111-201702152665
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:50 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Lomuscio, Alessio
  • Qu, Hongyang
  • Raimondi, Franco
  • SpringerLink (Online service)

Ähnliche Objekte (12)

Explanation of the Model Checker Verification Results

Explanation of the Model Checker Verification Results

Rational verification: game-theoretic verification of multi-agent systems

Rational verification: game-theoretic verification of multi-agent systems

Open-Source Multiparametric Optocardiography

Open-Source Multiparametric Optocardiography

Multi-Agent Safety Verification using Symmetry Transformations

zweidimensionales bewegtes Bild

Multi-Agent Safety Verification using Symmetry Transformations

Checker's (Bestand)

Archivbestand

Checker's (Bestand)

Deutsch-Checker

Lehrmittel

Deutsch-Checker

Milk Checker

Fotografie

Milk Checker

Container-Checker

Archivale

Container-Checker

Modelling and verification of reconfigurable multi-agent systems

Modelling and verification of reconfigurable multi-agent systems

Hybrid multi-agent systems: modeling, specification and verification

Hochschulschrift

Hybrid multi-agent systems: modeling, specification and verification

Die Berliner OpenSource Strategie

zweidimensionales bewegtes Bild

Die Berliner OpenSource Strategie

Open-source digital biomarker development

zweidimensionales bewegtes Bild

Open-source digital biomarker development

Verbundene Objekte