Abate, Alessandro
Alessandro Abate researcher (ORCID 0000-0002-5627-9093)
VIAF ID: 7150380426713370082 (Personal)
Permalink: http://viaf.org/viaf/7150380426713370082
Preferred Forms
-
-
- 100 1 _ ‡a Abate, Alessandro
-
- 100 0 _ ‡a Alessandro Abate ‡c researcher (ORCID 0000-0002-5627-9093)
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automated formal synthesis of provably safe digital controllers for continuous plants | |
Formal modeling and analysis of timed systems : 15th international conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings | |
Numerical software verification, [2017]: |