Primary tabs

Most recent publications

ADA User Journal 37, no. 4 (2016).
Journal Article
2016
In European Conference on Modelling Foundations and Applications(ECMFA), 2016.
Proceedings, refereed
2016
In International Symposium on Software Testing and Analysis (ISSTA), Maryland, USA, July 14-17 , 2015.
Proceedings, refereed
2015

News

Export 12 results:
2016

Journal articles

ADA User Journal 37, no. 4 (2016).
Status: Published

Proceedings, refereed

In European Conference on Modelling Foundations and Applications(ECMFA), 2016.
Status: Published

Technical reports

Talks, contributed

In DE-CPS Workshop, Pisa, Italy, 2016.
Status: Published
In MPM4CPS WG meetings in Malaga, Spain, 24-25 November 2016, 2016.
Status: Published