Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/ijmssc/DialloGLP16
%A Diallo, Saikou Y.
%A Gore, Ross
%A Lynch, Christopher J.
%A Padilla, Jose J.
%D 2016
%J Int. J. Model. Simul. Sci. Comput.
%K dblp
%N 1
%P 1641001:1-1641001:22
%T Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.
%U http://dblp.uni-trier.de/db/journals/ijmssc/ijmssc7.html#DialloGLP16
%V 7
@article{journals/ijmssc/DialloGLP16,
added-at = {2020-05-27T00:00:00.000+0200},
author = {Diallo, Saikou Y. and Gore, Ross and Lynch, Christopher J. and Padilla, Jose J.},
biburl = {https://www.bibsonomy.org/bibtex/219e77ee6c2abc2442a9a2ec29a00c27d/dblp},
ee = {https://doi.org/10.1142/S1793962316410014},
interhash = {a73f5edde80e0fed6644e0435d5c2e41},
intrahash = {19e77ee6c2abc2442a9a2ec29a00c27d},
journal = {Int. J. Model. Simul. Sci. Comput.},
keywords = {dblp},
number = 1,
pages = {1641001:1-1641001:22},
timestamp = {2020-05-28T11:38:44.000+0200},
title = {Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.},
url = {http://dblp.uni-trier.de/db/journals/ijmssc/ijmssc7.html#DialloGLP16},
volume = 7,
year = 2016
}