Face recognition based attendance system

Restaurant Automation System Software

Converter of function block models from NuSMV to Promela (SPIN)

Coverage-based test generation for IEC 61499 function blocks

Bu repository, C# kursu boyunca öğrendiğim araç kullanımı, temel syntax, OOP, SQL ve dosya işlemleri gibi konulardaki gelişimimi içerir. Ayrıca grafik, raporlama ve 20 derslik bir gerçek dünya projesi gibi ileri seviye uygulamalar da bulunmaktadır. Her adımı kaydederek yazılım becerilerimi nasıl geliştirdiğimi gösteren kapsamlı bir kaynaktır.

Tool to test automation systems by means of model checking