( en | de | ru )

 

Disambiguierung von "Tini, Simone"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On disjunction of literals in triggers of statecharts transitions

, und . Information Processing Letters, 84 (6): 305--310 (Dezember 2002)
DOI: 10.1016/S0020-0190(02)00314-9

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.

Vivian Tini

Tini Hardjono

Leonard Tiniakos

Werner Tinius

Heide-Gisela Tinius

 

Weitere Publikationen von Autoren mit dem selben Namen

Taylor Approximation for Hybrid Systems., und . HSCC, Volume 3414 von Lecture Notes in Computer Science, Seite 402-416. Springer, (2005)Rule Formats for Non Interference.. ESOP, Volume 2618 von Lecture Notes in Computer Science, Seite 129-143. Springer, (2003)Measuring Robustness in Cyber-Physical Systems under Sensor Attacks., , , , und . CoRR, (2024)Privacy in Real-Time Systems., , und . MTCS, Volume 52 von Electronic Notes in Theoretical Computer Science, Seite 295-305. Elsevier, (2001)Compositional Weak Metrics for Group Key Update., , und . MFCS, Volume 83 von LIPIcs, Seite 72:1-72:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Compositional Synthesis of Generalized Mealy Machines., und . Fundam. Informaticae, 60 (1-4): 367-382 (2004)Formal Models of Timing Attacks on Web Privacy., , , , , , und . TOSCA, Volume 62 von Electronic Notes in Theoretical Computer Science, Seite 229-243. Elsevier, (2001)Compositional semantics and behavioral equivalences for P Systems, , , und . Theor. Comput. Sci., 395 (1): 77--100 (April 2008)Dynamic Hierarchical Machines, , , und . Fundam. Inform., 54 (2-3): 237--252 (2003)A comparison of Statecharts step semantics, , und . Theoretical Computer Science, 290 (1): 465--498 (Januar 2003)