Generating optimal distinguishing sequences with a model...

ACM SIGSOFT Software Engineering Notes 2005 / 07 Vol. 30; Iss. 4

Generating optimal distinguishing sequences with a model checker

Robinson-Mallett, Christopher, Liggesmeyer, Peter, Mücke, Tilo, Goltz, Ursula
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
30
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1082983.1083283
Date:
July, 2005
File:
PDF, 493 KB
english, 2005
Conversion to is in progress
Conversion to is failed