Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output 1991 2019

Filter
Other contribution
2013
12 Downloads (Pure)
File
Sampling
Testing
Markov processes
Explosions

Verification for Reliable Product Lines

Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Research output: Other contribution