Model verification tools: a computational framework for verification assessment of mechanistic agent-based models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1471-2105
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Model verification tools: a computational framework for verification assessment of mechanistic agent-based models ; volume:22 ; number:14 ; day:19 ; month:5 ; year:2022 ; pages:1-20 ; date:11.2021
BMC bioinformatics ; 22, Heft 14 (19.5.2022), 1-20, 11.2021
- Urheber
-
Russo, Giulia
Parasiliti Palumbo, Giuseppe Alessandro
Pennisi, Marzio
Pappalardo, Francesco
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1186/s12859-022-04684-0
- URN
-
urn:nbn:de:101:1-2022072120452105495554
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Russo, Giulia
- Parasiliti Palumbo, Giuseppe Alessandro
- Pennisi, Marzio
- Pappalardo, Francesco
- SpringerLink (Online service)
Ähnliche Objekte (12)
Development and verification of an agent-based model of opinion leadership
Using model checking for system verification
Verification of multi-objective Markov models
Verification with Memory Models as Input
Validation and verification of software process models
Validation and verification of software process models
Nitrogen dynamics model : verification and practical application
SPIN model checking and software verification ; proceedings
Models for software verification: Proving program correctness
Modelling Memory Consistency Models for Formal Verification
MULTIPLE-MODEL BASED VERIFICATION OF ROAD DATA
Explanation of the Model Checker Verification Results
Development and verification of an agent-based model of opinion leadership
Using model checking for system verification
Verification of multi-objective Markov models
Verification with Memory Models as Input
Validation and verification of software process models
Validation and verification of software process models
Nitrogen dynamics model : verification and practical application
SPIN model checking and software verification ; proceedings
Models for software verification: Proving program correctness
Modelling Memory Consistency Models for Formal Verification
MULTIPLE-MODEL BASED VERIFICATION OF ROAD DATA
Explanation of the Model Checker Verification Results
Development and verification of an agent-based model of opinion leadership
Using model checking for system verification
Verification of multi-objective Markov models
Verification with Memory Models as Input
Validation and verification of software process models
Validation and verification of software process models
Nitrogen dynamics model : verification and practical application
SPIN model checking and software verification ; proceedings
Models for software verification: Proving program correctness
Modelling Memory Consistency Models for Formal Verification
MULTIPLE-MODEL BASED VERIFICATION OF ROAD DATA