Synthesis of distributed systems with formal guarantees of correctness.
Your submissions were downloaded 100 or more times in a month
Awarded to Ioannis Filippidis on 01 Nov 2019
Publish your first comment or rating
Awarded to Ioannis Filippidis on 09 Oct 2019
Your submissions received 25 five star ratings
Have 2 submissions connected to GitHub
Publish your first submission
1 of your answers has been accepted
Awarded to Ioannis Filippidis on 20 Jul 2017
Provide your first answer ever to someone else's question
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Contact your local office