PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Swaminathan, Mani"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Trustworthy software systems: a discussion of basic concepts and terminology.

, , , , , , , , , , , , , , , und . ACM SIGSOFT Software Engineering Notes, 31 (6): 1-18 (2006)

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.

Keine Personen gefunden für den Autorennamen Swaminathan, Mani
Eine Person hinzufügen mit dem Namen Swaminathan, Mani
 

Weitere Publikationen von Autoren mit dem selben Namen

The Surprising Robustness of (Closed) Timed Automata against Clock-Drift., , und . IFIP TCS, Volume 273 von IFIP, Seite 537-553. Springer, (2008)Costs and Rewards in Priced Timed Automata., , , und . ICALP, Volume 107 von LIPIcs, Seite 125:1-125:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Structural Transformations for Data-Enriched Real-Time Systems., und . IFM, Volume 7940 von Lecture Notes in Computer Science, Seite 378-393. Springer, (2013)A Symbolic Decision Procedure for Robust Safety of Timed Systems., und . TIME, Seite 192. IEEE Computer Society, (2007)Costs and rewards in priced timed automata., , , und . Inf. Comput., (2022)Layered Composition for Timed Automata., und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 228-242. Springer, (2010)Design of a multi-hazard collaborative system for scenario-based response planning., , , , , , und . GI-Jahrestagung (Workshops), Volume P-295 von LNI, Seite 559-570. GI, (2019)Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata., und . FORMATS, Volume 5813 von Lecture Notes in Computer Science, Seite 149-163. Springer, (2009)Trustworthy software systems: a discussion of basic concepts and terminology., , , , , , , , , und 6 andere Autor(en). ACM SIGSOFT Software Engineering Notes, 31 (6): 1-18 (2006)Quantitative and structural analysis of real-time and probabilistic systems.. University of Oldenburg, Germany, (2016)