Synthesis of distributed systems with formal guarantees of correctness.
RANK473 of 17,989
ALL TIME DOWNLOADS30315
NUMBER OF BADGES0
CONTRIBUTIONS0 Public Channels
AVERAGE NO. OF LIKES
Your submissions were downloaded 100 or more times in a month
Awarded to Ioannis Filippidis on 01 Nov 2019
Publish your first review
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
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