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 = '
Brörkens, Mark
'
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:
Brörkens, Mark (5)
Brückner, Ingo (2)
Buschermöhle, Ralf (2)
Damm, Werner (1)
Hasselbring, Wilhelm (1)
Josko, Bernhard (1)
Möller, Michael (3)
Schulte, Christoph (2)
Wolf, Thomas (2)
1
49GBVUOB_ALMA21236776090003501
49GBVUOB_ALMA21236776090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776090003501
Artikel
Model checking : Grundlagen und Praxiserfahrungen
von
Ralf Buschermöhle ; Mark Brörkens ; Ingo Brückner ; Werner Damm ; Wilhelm Hasselbring ; Bernhard Josko ; Christoph Schulte ; Thomas Wolf
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Brörkens, Mark ([2002-2004])
Brückner, Ingo ([2002-])
Damm, Werner
Hasselbring, Wilhelm ([2000-2008])
Josko, Bernhard
Schulte, Christoph ([2001-2004])
Wolf, Thomas ([2002-2004])
Buschermöhle, Ralf ([2003-])
Enthalten in:
Informatik-Spektrum 27 (2004), 2, S. 146 - 158
Sprache:
Deutsch
>> Volltext
2
49GBVUOB_ALMA21236776620003501
49GBVUOB_ALMA21236776620003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776620003501
Artikel
Sicherheit für sicherheitskritische Systeme
von
Christoph Schulte ; Mark Brörkens ; Ingo Brückner ; Ralf Buschermöhle ; Thomas Wolf
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Brörkens, Mark ([2002-2004])
Brückner, Ingo ([2002-])
Buschermöhle, Ralf ([2003-])
Wolf, Thomas ([2002-2004])
Schulte, Christoph ([2001-2004])
Enthalten in:
Electronic Embedded Systeme (2003), 9, S. 19 - 21
Sprache:
Deutsch
>> Volltext
3
49GBVUOB_ALMA21236697420003501
49GBVUOB_ALMA21236697420003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236697420003501
Artikel
Dynamic event generation for runtime checking using the JD
von
Mark Brörkens ; Michael Möller
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möller, Michael
Brörkens, Mark ([2002-2004])
Enthalten in:
Electronic notes in theoretical computer science 70 (2002), 4, S. 1 - 15
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA21237113090003501
49GBVUOB_ALMA21237113090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237113090003501
Artikel
Jassda trace assertions
von
Mark Brörkens ; Michael Möller
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möller, Michael
Brörkens, Mark ([2002-2004])
Enthalten in:
Testing of communication systems XIV Boston, Mass. [u.a.], 2002 S. [39] - [48]
Sprache:
Englisch
>> Volltext
5
49GBVUOB_ALMA21236202890003501
49GBVUOB_ALMA21236202890003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236202890003501
Artikel
Dynamic event generation for runtime checking using the JDI : [preliminary version]
von
Mark Brörkens ; Michael Möller
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möller, Michael
Brörkens, Mark ([2002-2004])
Enthalten in:
Proceedings of the Second Workshop on Runtime Verification (RV '02) 15 S. <15>
Sprache:
Englisch
>> Volltext
Seite 1 von 1
