Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person = '
Votinceva, Anželika
'
Treffer 1-5 von 5
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Person:
Brinksma, Ed (1)
Böde, Eckard (1)
Coulson, Geoff (1)
Crnkovic, Ivica (1)
Damm, Werner (3)
Evans, Andy (1)
Graf, Susanne (1)
Gérard, Sébastien (1)
Hermanns, Holger (1)
Jonsson, Bengt (1)
Josko, Bernhard (3)
Jézéquel, Jean-Marc (1)
Metzner, Alexander (1)
Peikenkamp, Thomas (1)
Pnueli, Amir (2)
Ravn, Anders (1)
Schnoebelen, Philippe (1)
Terrier, Francois (1)
Virbitskaite, Irina B (1)
Votinceva, Anželika (5)
1
49GBVUOB_ALMA21236418270003501
49GBVUOB_ALMA21236418270003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236418270003501
Artikel
A discrete-time uml semantics for concurrency and communication in safty-critical applications
von
Werner Damm ; Bernhard Josko ; Amir Pnueli ; Anželika Votinceva
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Josko, Bernhard
Votinceva, Anželika ([1997-2005])
Damm, Werner
Enthalten in:
Science of computer programming 55 (2005), 1-3, S. 81 - 115
Sprache:
Englisch
2
49GBVUOB_ALMA21236872730003501
49GBVUOB_ALMA21236872730003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236872730003501
Artikel
Boosting re-use of embedded automotive applications through rich components
von
Werner Damm ; Anželika Votinceva ; Alexander Metzner ; Bernhard Josko ; Thomas Peikenkamp ; Eckard Böde
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Votinceva, Anželika ([1997-2005])
Metzner, Alexander ([1995-])
Josko, Bernhard
Peikenkamp, Thomas
Böde, Eckard ([2001-])
Damm, Werner
Enthalten in:
Proceedings of the Workshop on Foundation of Interface Technology S. 1 - 18
Sprache:
Englisch
>> Volltext
3
49GBVUOB_ALMA21237123460003501
49GBVUOB_ALMA21237123460003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237123460003501
Artikel
Component-based design and integration platforms
von
Ed Brinksma ; Geoff Coulson ; Ivica Crnkovic ; Andy Evans ; Sébastien Gérard ; Susanne Graf ; Holger Hermanns ; Bengt Jonsson ; Anders Ravn ; Philippe Schnoebelen ; Francois Terrier ; Anželika Votinceva ; Jean-Marc Jézéquel
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Votinceva, Anželika ([1997-2005])
Enthalten in:
Embedded systems design Berlin [u.a.], 2005 S. 103 - 215
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA21237102010003501
49GBVUOB_ALMA21237102010003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237102010003501
Artikel
Understanding UML : a formal semantics of concurrency and communication in Real-Time UML
von
Werner Damm ; Bernhard Josko ; Amir Pnueli ; Anželika Votinceva
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Josko, Bernhard
Votinceva, Anželika ([1997-2005])
Damm, Werner
Enthalten in:
Formal methods for components and objects 2003 S. 71 - 98
Sprache:
Englisch
>> Volltext
5
49GBVUOB_ALMA21237010860003501
49GBVUOB_ALMA21237010860003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237010860003501
Artikel
Behavioural characterizations of partial order logics
von
Irina B. Virbitskaite ; Anželika Votinceva
1997
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Votinceva, Anželika ([1997-2005])
Enthalten in:
Fundamentals of computation theory Berlin [u.a.], 1997 S. 463 - 474
Sprache:
Englisch
>> Volltext
Seite 1 von 1
