[IEEE 2016 International Conference on Communications (COMM) - Bucharest, Romania (2016.6.9-2016.6.10)] 2016 International Conference on Communications (COMM) - Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting
Pura, Mihai Lica, Morogan, Luciana, Buchs, DidierYear:
2016
Language:
english
DOI:
10.1109/iccomm.2016.7528292
File:
PDF, 191 KB
english, 2016