( en | de | ru )

 

Disambiguierung von "Kluzniak, Feliks"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Operations on Timed Scenarios.

, und . FORTE, Volume 13910 von Lecture Notes in Computer Science, Seite 97-114. Springer, (2023)

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.

Feliks Gwozdz

Feliks Woroszylski

Feliks Musiol

Feliks Klobasa

Andrzej Feliks Jankowski

 

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)Readable, Runnable Requirements Specifications in SPILL-2., und . PLILP, Volume 844 von Lecture Notes in Computer Science, Seite 449-450. Springer, (1994)From Scenarios to Timed Automata., und . SBMF, Volume 10623 von Lecture Notes in Computer Science, Seite 33-51. Springer, (2017)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)Optimization of Timed Scenarios., und . SBMF, Volume 12475 von Lecture Notes in Computer Science, Seite 119-136. Springer, (2020)Clock Allocation in Timed Automata and Graph Colouring., und . HSCC, Seite 71-80. ACM, (2018)Compile Time Garbage Collection for Ground Prolog.. ICLP/SLP, Seite 1490-1505. MIT Press, (1988)