Model verification tools: a computational framework for verification assessment of mechanistic agent-based models
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1471-2105
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Russo, Giulia
Parasiliti Palumbo, Giuseppe Alessandro
Pennisi, Marzio
Pappalardo, Francesco
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1186/s12859-022-04684-0
- URN
-
urn:nbn:de:101:1-2022072120452105495554
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:28 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Russo, Giulia
- Parasiliti Palumbo, Giuseppe Alessandro
- Pennisi, Marzio
- Pappalardo, Francesco
- SpringerLink (Online service)
Other Objects (12)
Development and verification of an agent-based model of opinion leadership
Using model checking for system verification
Verification with Memory Models as Input
Verification of multi-objective Markov models
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
Weather model verification using Sodankylä mast measurements
Development and verification of an agent-based model of opinion leadership
Using model checking for system verification
Verification with Memory Models as Input
Verification of multi-objective Markov models
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
Weather model verification using Sodankylä mast measurements
Development and verification of an agent-based model of opinion leadership
Using model checking for system verification
Verification with Memory Models as Input
Verification of multi-objective Markov models
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