Mehmet Akşit

prof.dr.ir.

Formal Methods and Tools

Research Output 1988 2017

100 Conference contribution
56 Article
32 Chapter
24 PhD Thesis - Research UT, graduation UT
50 More

1 results
Publication Year, Title (descending)

Filter

2009

Method for an Event-Driven System

Gülesir, G., Bergmans, L. & Aksit, M. 7 May 2009 WO2009058002 (A1)

Research output: Professional › Patent