Publisher
Springer International Publishing
Reference36 articles.
1. Oberkampf WL (2007) Predictive capabilities in computational science and engineering. Presented at OASCR Applied Mathematics PI Meeting, Lawrence Livermore National Laboratory, 22–24 May 2007.
http://science.energy.gov/~/media/ascr/pdf/workshops-conferences/mathtalks/Oberkampf.pdf
. Accessed 10 June 2015
2. Anderson J, Papachristodoulou A (2009) On validation and invalidation of biological models. BMC Bioinforma 10:132. doi:
10.1186/1471-2105-10-132
,
http://www.biomedcentral.com/1471-2105/10/132
. Accessed 10th June 2015
3. Gore R, Diallo S (2013) The need for usable formal methods in verification and validation. In: Pasupathy R, Kim S-H, Tolk A et al (eds) Proceedings of the 2013 winter simulation conference. IEEE, Washington, DC, pp 1257–1268. doi:
10.1109/WSC.2013.6721513
4. Heitmeyer CL (2007) Formal methods for specifying, validating and verifying requirements. J Univ Comput Sci 13(5):607–618
5. Gustavsson I (1972) Comparison of different methods for identification of industrial processes. Automatica 8(2):127–142