Autor der Publikation

Readable, Runnable Requirements Specifications in SPILL-2.

, und . PLILP, Volume 844 von Lecture Notes in Computer Science, Seite 449-450. Springer, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Timed Scenarios: Consistency, Equivalence and Optimization., und . SBMF, Volume 11254 von Lecture Notes in Computer Science, Seite 215-233. Springer, (2018)Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios., und . FORTE, Volume 14678 von Lecture Notes in Computer Science, Seite 136-154. Springer, (2024)Untangling the Graphs of Timed Automata to Decrease the Number of Clocks., und . IFM, Volume 13274 von Lecture Notes in Computer Science, Seite 168-187. Springer, (2022)From Scenarios to Timed Automata., und . SBMF, Volume 10623 von Lecture Notes in Computer Science, Seite 33-51. Springer, (2017)Readable, Runnable Requirements Specifications in SPILL-2., und . PLILP, Volume 844 von Lecture Notes in Computer Science, Seite 449-450. Springer, (1994)Optimization of Timed Scenarios., und . SBMF, Volume 12475 von Lecture Notes in Computer Science, Seite 119-136. Springer, (2020)An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata., und . SBMF, Volume 13768 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2022)Minimization of the Number of Clocks for Timed Scenarios., und . SBMF, Volume 13130 von Lecture Notes in Computer Science, Seite 122-139. Springer, (2021)Clock Allocation in Timed Automata and Graph Colouring., und . HSCC, Seite 71-80. ACM, (2018)Synthesizing Clock-Efficient Timed Automata., und . IFM, Volume 12546 von Lecture Notes in Computer Science, Seite 276-294. Springer, (2020)