Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine

✍ Scribed by Robert M. Hierons; Florentin Ipate

• Publisher: Springer
• Year: 2008
• Tongue: English
• Weight: 380 KB
• Volume: 20
• Category: Article
• ISSN: 0934-5043
• DOI: 10.1007/s00165-008-0087-2