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.

Mathematics

Engineering & Materials Science