Suche in der Hochschulbibliografie

Suche nach: Person = 'Brockmeyer, Udo'

Treffer 1-9 von 9

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA2123657487000350149GBVUOB_ALMA21236574870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236574870003501
Artikel
Tool demonstration proposal : UML validation suite
von Marc Lettrari ; Jochen Klose ; Udo Brockmeyer
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Klose, Jochen ([1998-2006])Brockmeyer, Udo ([1995-2001])Lettrari, Marc ([2000-2005])
Enthalten in: Formal approaches to testing of software Aarhus, 2001 [5] S. <5>
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA2123645550000350149GBVUOB_ALMA21236455500003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236455500003501
Artikel
Specification, implementation, and validation of object-oriented embedded systems
von François Terrier ; Nikos S. Voros ; Udo Brockmeyer
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])
Enthalten in: Object-oriented technology Berlin [u.a.], 2000 S. 150 - 177
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA2123646187000350149GBVUOB_ALMA21236461870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236461870003501
Artikel
Automatic debugging for Statemate designs
von Tom Bienmüller ; Udo Brockmeyer ; Hans Jürgen Holberg ; Hartmut Wittke
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])Holberg, Hans Jürgen ([1995-2004])Wittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])
Enthalten in: 8. Deutsches Anwenderforum für Statemate, 2000 2000 3 Bl.
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA2123712754000350149GBVUOB_ALMA21237127540003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237127540003501
Artikel
Verification of automotive control units
von Tom Bienmüller ; Jürgen Bohn ; Henning Brinkmann ; Udo Brockmeyer ; Werner Damm ; Hardi Hungar ; Peter Jansen
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Bohn, Jürgen ([1993-2002])Brinkmann, Henning ([1999-2001])Brockmeyer, Udo ([1995-2001])Damm, WernerHungar, Hardi ([1991-])Bienmüller, Tom ([1997-2003])
Enthalten in: Correct system design Berlin [u.a.], 1999 S. 319 - 341
Sprache: Englisch
5
49GBVUOB_ALMA2123676007000350149GBVUOB_ALMA21236760070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236760070003501
Artikel
Formal verification of an avionics application using abstraction and symbolic model checking
von Tom Bienmüller ; Udo Brockmeyer ; Werner Damm ; Gert Döhmen ; Claus Eßmann ; Hans Jürgen Holberg ; Hardi Hungar ; Bernhard Josko ; Rainer Schlör ; Gunnar Wittich ; Hartmut Wittke ; Geoffrey Clements ; John Rowlands ; Eric Sefton
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])Damm, WernerDöhmen, Gert ([1987-1999])Eßmann, Claus ([1997-1999])Holberg, Hans Jürgen ([1995-2004])Hungar, Hardi ([1991-])Josko, BernhardSchlör, Rainer ([-2001])Wittich, Gunnar ([1994-2001])Wittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])
Enthalten in: Towards system safety London, 1999 S. 150 - 173
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA7123675993000350149GBVUOB_ALMA71236759930003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71236759930003501
Artikel
Case study - verification of an embedded fault-tolerant avionics systems
von Udo Brockmeyer ; Gunnar Wittich
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wittich, Gunnar ([1994-2001])Brockmeyer, Udo ([1995-2001])
Enthalten in: International Workshop on Embedded Fault-Tolerant Systems 1998 S. 90 - 95
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA7123676397000350149GBVUOB_ALMA71236763970003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71236763970003501
Artikel
Real-time verification of Statemate designs
von Udo Brockmeyer ; Gunnar Wittich
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wittich, Gunnar ([1994-2001])Brockmeyer, Udo ([1995-2001])
Enthalten in: Computer aided verification Berlin [u.a.], 1998 S. 537 - 541
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA2123677694000350149GBVUOB_ALMA21236776940003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776940003501
Artikel
Tamagotchis need not die : verification of Statemate designs
von Udo Brockmeyer ; Gunnar Wittich
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wittich, Gunnar ([1994-2001])Brockmeyer, Udo ([1995-2001])
Enthalten in: Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 1998 S. 217 - 231
Sprache: Englisch
9
49GBVUOB_ALMA2123679500000350149GBVUOB_ALMA21236795000003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236795000003501
Artikel
Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
von Werner Damm ; Michael Eckrich ; Udo Brockmeyer ; Gunnar Wittich ; Hans Jürgen Holberg
1997
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])Wittich, Gunnar ([1994-2001])Holberg, Hans Jürgen ([1995-2004])Damm, Werner
Enthalten in: Systemengineering in der KFZ-Entwicklung Düsseldorf, 1997 S. 349 - 366
Sprache: Deutsch
>> Volltext