A. Canny, D. Navarre, J.C. Campos and P. Palanque
Model-Based Testing of Post-WIMP Interactions Using Petri-nets
In E. Sekerinski et al., editor, Formal Methods. FM 2019 International Workshops, volume 12232 of Lecture Notes in Computer Science, pages 486-502. Springer. 2020.

visit publisher   download PDF 

@inproceedings{CannyNCP:2019,
 author = {A. Canny and D. Navarre and J.C. Campos and P. Palanque},
 title = {Model-Based Testing of Post-WIMP Interactions Using Petri-nets},
 booktitle = {Formal Methods. FM 2019 International Workshops},
 series = {Lecture Notes in Computer Science},
 volume = {12232},
 editor = {E. Sekerinski et al.},
 pages = {486-502},
 year = {2020},
 doi = {10.1007/978-3-030-54994-7_35},
 paperurl = {https://repositorio.inesctec.pt/handle/123456789/11608},
 publisher = {Springer}
}

Generated by mkBiblio 2.6.26