( en | de | ru )

 

Disambiguierung von "Bosnacki, Dragan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.

, , , , , , und . MODELSWARD, Seite 578-588. SciTePress, (2016)

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.

Silvia Dragan

Dragan Griebel

Dragan Gligorievski

Dragan Dinulovic

Dragan Pitzschke

 

Weitere Publikationen von Autoren mit dem selben Namen

In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition., , und . Trans. Computational Systems Biology, (2009)Symmetric Spin., , und . SPIN, Volume 1885 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2000)Using Fairness to Make Abstractions Work., , und . SPIN, Volume 2989 von Lecture Notes in Computer Science, Seite 198-215. Springer, (2004)Enhancing Partial-Order Reduction via Process Clustering., und . ASE, Seite 245-253. IEEE Computer Society, (2001)Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models., , , , , , , und . FACS, Volume 9539 von Lecture Notes in Computer Science, Seite 141-160. Springer, (2015)Integrating Real Time into Spin: A Prototype Implementation., und . FORTE, Volume 135 von IFIP Conference Proceedings, Seite 423-438. Kluwer, (1998)Stochastic Analysis of Amino Acid Substitution in Protein Synthesis., , , und . CMSB, Volume 5307 von Lecture Notes in Computer Science, Seite 367-386. Springer, (2008)Robustness of the Gray Code Arrangements of the Genetic Code in Mitochondria., , , und . ICT Innovations, Volume 311 von Advances in Intelligent Systems and Computing, Seite 299-308. Springer, (2014)GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 310-326. Springer, (2014)Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code., , , , , , und . MODELSWARD, Seite 578-588. SciTePress, (2016)