( en | de | ru )

 

Disambiguierung von "Nickovic, Dejan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integration of Requirements Engineering and Test-Case Generation via OSLC.

, , , , , , und . QSIC, Seite 117-126. IEEE, (2014)

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.

Milka Dejanowa

Boro Dejanovic

Borislav Dejanović

Dejan Arsi

Dejan Klanac

 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional Specifications for ioco Testing., , , und . CoRR, (2019)Interface-aware signal temporal logic., , , , und . HSCC, Seite 57-66. ACM, (2019)Dynamic Reactive Modules., , , , , und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 404-418. Springer, (2011)A Pattern-Based Formalization of Cloud-Based Elastic Systems., , , und . PESOS@ICSE, Seite 31-37. IEEE Computer Society, (2015)Automatic Failure Explanation in CPS Models., , , , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 69-86. Springer, (2019)Property-Based Monitoring of Analog and Mixed-Signal Systems., , , und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 23-24. Springer, (2010)Exponential pattern recognition for deriving air change rates from CO2 data., , , , und . ISIE, Seite 1507-1512. IEEE, (2017)CPSDebug: a tool for explanation of failures in cyber-physical systems., , , , , und . ISSTA, Seite 569-572. ACM, (2020)Verifying Global Two-Safety Properties in Neural Networks with Confidence., , , , , und . CAV (2), Volume 14682 von Lecture Notes in Computer Science, Seite 329-351. Springer, (2024)Information-flow Interfaces and Security Lattices., , , und . CoRR, (2024)