Suche in der Hochschulbibliografie

Treffer 1-2 von 2

Sortieren nach: JahrTitelVerfasser/in

Seite 1 von 1

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 1
  49GBVUOB_ALMA2123690819000350149GBVUOB_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
• 2
  49GBVUOB_ALMA2123640692000350149GBVUOB_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, BerndSchinz, 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