Mehmet Akşit

prof.dr.ir.

Formal Methods and Tools

If you made any changes in Pure these will be visible here soon.

Research Output 1988 2017

102 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 (Submitted) 7 May 2009

Research output: Patent

File