SFADiff

swMATH34637MaRDI QIDQ46346FDOQ46346

Author name not available (Why is that?)

Cited In (2)

• Time to learn -- learning timed automata from tests
• Probabilistic black-box reachability checking (extended version)

This page was built for software: SFADiff