Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by T. S. E. Maibaum

The Epistemology of Validation and Verification Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Communication Data Type for Message Oriented Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1980English

Related publications

Discrete Event Simulation Process Validation, Verification, and Testing

2007English

Verification and Validation

2003English

Verification and Validation of TMAP7

2005English

Verification and Validation Benchmarks.

2007English

Simulation Verification and Validation

English

Testing and Verification of the LHCb Simulation

EPJ Web of Conferences
AstronomyPhysics
2019English

Validation and Verification of the OPI 2.0 System

Clinical Ophthalmology
Ophthalmology
2012English

Verification and Validation of Simulation Models

European Journal of Operational Research
Information SystemsSimulationManagement ScienceManagementComputer ScienceModelingOperations Research
1995English

Validation and Verification of Simulation Models

1999English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy