( en | de | ru )

 

Disambiguierung von "Drusinsky, Doron"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software.

, , , und . IEEE Syst. J., 7 (4): 632-641 (2013)

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.

Doron Lahav

Doron Merkler

tefan Dorondel

Guy Doron

Doron Smadar

 

Weitere Publikationen von Autoren mit dem selben Namen

Reverse engineering concurrent UML state machines using black box testing and genetic programming.. Innov. Syst. Softw. Eng., 13 (2-3): 117-128 (2017)Putting order into the cloud: Object-oriented UML-based enforcement for document and application organization., , , und . SoSE, Seite 119-124. IEEE, (2011)Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors., , und . SoSE, Seite 1-6. IEEE, (2007)Removing the Boundaries: Steps Toward a Cloud Nirvana., , , , , und . GrC, Seite 167-171. IEEE Computer Society, (2010)Quality assurance of the timing properties of real-time, reactive system-of-systems., , und . SoSE, Seite 1-6. IEEE Computer Society, (2006)On the Power of Cooperative Concurrency., und . Concurrency, Volume 335 von Lecture Notes in Computer Science, Seite 74-103. Springer, (1988)Using statecharts for hardware description and synthesis., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 8 (7): 798-807 (1989)End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software., , , und . IEEE Syst. J., 7 (4): 632-641 (2013)Monitoring Temporal Rules Combined with Time Series.. CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 114-117. Springer, (2003)A design pattern for using non-developmental items in real-time Java., , , , , und . JTRES, Seite 135-143. ACM, (2007)