Skip to main navigation Skip to search Skip to main content

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

  • Stefano Schivo
  • , Bugra Mehmet Yildiz
  • , Enno Jozef Johannes Ruijters*
  • , Christopher Gerking
  • , Rajesh Kumar
  • , Stefan Dziwok
  • , Arend Rensink
  • , Mariëlle Ida Antoinette Stoelinga
  • *Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Fingerprint

Dive into the research topics of 'How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases