Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Lffler, Andreas Seibel, Holger Giese

Browse the full ICSE paper archive.