Need a developper in Interval Temporal Logic (ITL) (tempura) -- 2

Job ID: 33498906

Budget: $30 – $250 USD

Need someone good in rigorous system and developper in Tempura good at the formal specification Interval Temporal Logic (ITL)) with good skills in english writting to complete an assignement wth repport (12 pages)

Related categories: Website Design Mobile App Development Software Development Computer Science