( en | de | ru )

 

Disambiguierung von "Desovski, Dejan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Validation of a Methodology for Assessing Software Reliability.

, , , , , , und . ISSRE, Seite 66-76. IEEE Computer Society, (2004)

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

Combining Testing and Model Checking for Verification of High Assurance Systems.. HASE, Seite 279-280. IEEE Computer Society, (2004)Validation and Reliability Estimation of a Fingerprint Image Registration Software., , , , und . ISSRE, Seite 306-313. IEEE Computer Society, (2004)A Strategy for Verification of Decomposable SCR Models., und . PRDC, Seite 11-18. IEEE Computer Society, (2006)On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks., und . International Conference on Computational Science (1), Volume 3514 von Lecture Notes in Computer Science, Seite 180-187. Springer, (2005)A Component-Based Approach to Verification and Validation of Formal Software Models., und . WADS, Volume 4615 von Lecture Notes in Computer Science, Seite 89-114. Springer, (2006)Effectively Combining Software Verification Strategies: Understanding Different Assumptions., , und . ISSRE, Seite 321-330. IEEE Computer Society, (2006)Error Propagation in the Reliability Analysis of Component Based Systems., , , und . ISSRE, Seite 53-62. IEEE Computer Society, (2005)Real-Time Data Fusion Technique for Validation of an Autonomous System., , , und . WORDS, Seite 121-128. IEEE Computer Society, (2005)On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection., und . Appl. Math. Comput., 173 (1): 273-305 (2006)Random testing of formal software models and induced coverage., , und . Random Testing, Seite 20-27. ACM, (2006)