The model multiplicity problem: Experimenting with real-time specification methods

Mor Peleg, Dov Dori

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'The model multiplicity problem: Experimenting with real-time specification methods'. Together they form a unique fingerprint.

Keyphrases

Computer Science