( en | de | ru )

 

Disambiguierung von "Kapitonova, Julia V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
System Validation.

, , , und . Embedded Systems Handbook, CRC Press, (2005)

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.

Guenter Julian

Otto Julian

Ernst Julian

Klaus Julian

Aldo Alfredo Julian

 

Weitere Publikationen von Autoren mit dem selben Namen

Algebraic Programs Optimization., , und . ISSAC, Seite 370-376. ACM, (1991)Algebraic Programming in the APS System., und . ISSAC, Seite 68-75. ACM, (1990)Basic protocols, message sequence charts, and the verification of requirements specifications., , , , , und . Comput. Networks, 49 (5): 661-675 (2005)Computations in APS., , und . Theor. Comput. Sci., 119 (1): 145-171 (1993)The development of interactive algorithms for the Mathematical Environment., , , , , und . Calculemus, Volume 23 von Electronic Notes in Theoretical Computer Science, Seite 352-369. Elsevier, (1999)System Validation., , , und . Embedded Systems Handbook, CRC Press, (2005)On Model of Macroconveyor Computations., , und . IFIP Congress, Seite 975-980. North-Holland/IFIP, (1986)Requirement Capturing and 3CR Approac., , , , und . COMPSAC, Seite 279-283. IEEE Computer Society, (2002)Semantics of Message Sequence Charts., , , , , und . SDL Forum, Volume 3530 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2005)On design and implementation of algorithms.. Algorithms in Modern Mathematics and Computer Science, Volume 122 von Lecture Notes in Computer Science, Seite 462. Springer, (1979)