Robust synthesis for real-time systems

Kim Guldstrand Larsen, Axel Legay, Luois-Marie Traonouez, Andrzej Wasowski

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Robust synthesis for real-time systems'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science