Synthesis of distributed systems with formal guarantees of correctness.
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
Publish your first submission
Awarded to Ioannis Filippidis on 09 Oct 2019
Publish your first review
Your submissions were downloaded 100 or more times in a month
Awarded to Ioannis Filippidis on 01 Nov 2019
Your submissions received 25 five star ratings
Have 2 submissions connected to GitHub
Select a Web
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