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 (Universität Oldenburg) = '
Westphal, Bernd ((DE-588)135725895)
'
Treffer 21-28 von 28
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 3 von 3
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 Schlagwort:
Datentyp (1)
Eingebettetes System (1)
Reduktion (1)
nach Person:
Bauer, Jörg (3)
Brill, Matthias (2)
Buchermöhle, Ralf (1)
Damm, Werner (8)
Dierks, Henning (1)
Ehlers, Rüdiger (1)
Fränzle, Martin (1)
Gezgin, Tayfun (2)
Hahn, E. Moritz (1)
Jubran, Oday (1)
Klose, Jochen (5)
Köster, Frank (1)
Mahdi, Ahmed (1)
Mehlmann, Martin (1)
Mrugalla, Christian (1)
Mrugalla, Chrsitian (1)
Peter, Hans-Jörg (2)
Radtke, Roland (1)
Rakow, Jan (1)
Rakow, Jan-Hendrik (2)
Robbe, Oliver Reemt (1)
Schinz, Ingo (2)
Schäfer, Ina (1)
Sonnenschein, Michael (1)
Stierand, Ingo (2)
Toben, Tobe (11)
Wachter, Björn (1)
Westphal, Bernd (28)
Wittke, Hartmut (3)
nach Medientyp:
Artikel (23)
E-Books (5)
Bücher (1)
21
49GBVUOB_ALMA21236908190003501
49GBVUOB_ALMA21236908190003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236908190003501
Artikel
Formal verification of a sensor voting and monitoring UML model
von
Christian Mrugalla ; Oliver Reemt Robbe ; Ingo Schinz ; Tobe Toben ; Bernd Westphal
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Robbe, Oliver Reemt ([2004-2007])
Schinz, Ingo ([1996-2005])
Toben, Tobe ([2004-])
Westphal, Bernd
Enthalten in:
The 4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005) 15 S. <15>
Sprache:
Englisch
22
49GBVUOB_ALMA21236689240003501
49GBVUOB_ALMA21236689240003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236689240003501
Artikel
Introduction to subject area 'charts'
von
Werner Damm ; Bernd Westphal
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Westphal, Bernd
Damm, Werner
Enthalten in:
Integration of software specification techniques for applications in engineering Berlin [u.a.], 2004 S. 322 - 324
Sprache:
Englisch
23
49GBVUOB_ALMA21236406920003501
49GBVUOB_ALMA21236406920003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236406920003501
Artikel
The rhapsody UML verification environment
von
Ingo Schinz ; Tobe Toben ; Chrsitian Mrugalla ; Bernd Westphal
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Toben, Tobe ([2004-])
Westphal, Bernd
Schinz, Ingo ([1996-2005])
Enthalten in:
Proceedings of the Second International Conference on Software Engineering and Formal Methods, SEFM 2004, September 28 - 30, 2004, Beijing, China Los Alamitos, Calif. [u.a.], 2004
Sprache:
Englisch
24
49GBVUOB_ALMA21236374250003501
49GBVUOB_ALMA21236374250003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236374250003501
Artikel
Formal verification of LSC's in the development process
von
Matthias Brill ; Ralf Buchermöhle ; Werner Damm ; Jochen Klose ; Bernd Westphal ; Hartmut Wittke
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Klose, Jochen ([1998-2006])
Westphal, Bernd
Wittke, Hartmut ([1996-2006])
Brill, Matthias
Enthalten in:
Integration of software specification techniques for applications in engineering Berlin [u.a.], 2004 S. 494 - 516
Sprache:
Englisch
>> Volltext
25
49GBVUOB_ALMA21236370130003501
49GBVUOB_ALMA21236370130003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236370130003501
Artikel
Live sequence charts
von
Matthias Brill ; Werner Damm ; Jochen Klose ; Bernd Westphal ; Hartmut Wittke
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Klose, Jochen ([1998-2006])
Westphal, Bernd
Wittke, Hartmut ([1996-2006])
Brill, Matthias
Enthalten in:
Integration of software specification techniques for applications in engineering Berlin [u.a.], 2004 S. 374 - 399
Sprache:
Englisch
26
49GBVUOB_ALMA21236749660003501
49GBVUOB_ALMA21236749660003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236749660003501
Artikel
Verification of a radio-based signaling system using scenarios
von
Jochen Klose ; Bernd Westphal
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Westphal, Bernd
Klose, Jochen ([1998-2006])
Enthalten in:
International Workshop on Software Specification of Safety Relevant Transportation Control Tasks Düsseldorf, 2003 S. 49 - 62
Sprache:
Englisch
>> Volltext
27
49GBVUOB_ALMA21236648130003501
49GBVUOB_ALMA21236648130003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236648130003501
Artikel
Relating LSC specifications to UML models
von
Jochen Klose ; Bernd Westphal
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Westphal, Bernd
Klose, Jochen ([1998-2006])
Enthalten in:
Integration of software specification techniques (INT'02) Berlin, 2002 S. 130 - [137]
Sprache:
Englisch
>> Volltext
28
49GBVUOB_ALMA71237052070003501
49GBVUOB_ALMA71237052070003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71237052070003501
Artikel
Combining methodical procedures from knowledge discovery in databases and individual-oriented simulation : data mining in time series
von
Frank Köster ; Roland Radtke ; Bernd Westphal ; Michael Sonnenschein
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Westphal, Bernd
Sonnenschein, Michael
Köster, Frank ([2016-])
Enthalten in:
Medical data analysis Berlin [u.a.], 2000 S. [169] - 182
Sprache:
Englisch
>> Volltext
Seite 3 von 3