Matuzas V

V Matuzas

Information about the author V Matuzas will soon be added to the site.
Found 1 papers in total
Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis
2015
Binary Decision Diagram (BDD) based fault tree analysis algorithms are among the most...
Papers per page: