Behavioural modelling and verification of real-time software product lines

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter

151 Downloads (Pure)

Search results

  • Evolution: Evolution

    Cleve, A.

    1/01/10 → 31/01/10

    Project: Research Axis