Suche in der Hochschulbibliografie

Suche nach: Person = 'Toben, Tobe'

Treffer 11-16 von 16

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
49GBVUOB_ALMA7141143510000350149GBVUOB_ALMA71411435100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411435100003501
Artikel
On the expressive power of life sequence charts
von Tobe Toben ; Bernd Westphal
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, BerndToben, Tobe ([2004-])
Enthalten in: SOFSEM 2006: theory and practice of computer science Prague 2 (2006), S. 33 - 43
Sprache: Englisch
12
49GBVUOB_ALMA7141146107000350149GBVUOB_ALMA71411461070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411461070003501
Artikel
The good, the bad and the ugly : well-formedness of life sequence charts
von Bernd Westphal ; Tobe Toben
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, Bernd
Enthalten in: Fundamental approaches to software engineering Berlin [u.a.], 2006 S. 230 - 246
Sprache: Englisch
13
49GBVUOB_ALMA7141140343000350149GBVUOB_ALMA71411403430003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411403430003501
Artikel
Specification and verification of dynamic communication systems
von Jörg Bauer ; Ina Schäfer ; Tobe Toben ; Bernd Westphal
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, Bernd
Enthalten in: Proceedings / Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) Los Alamitos, Calif. [u.a.], 2006 S. 189 - 200
Sprache: Englisch
14
49GBVUOB_ALMA7141144563000350149GBVUOB_ALMA71411445630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411445630003501
Artikel
Check it out : on the efficient formal verification of live charts
von Jochen Klose ; Tobe Toben ; Bernd Westphal ; Hartmut Wittke
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, BerndWittke, Hartmut ([1996-2006])Klose, Jochen ([1998-2006])
Enthalten in: Computer aided verification Berlin [u.a.], 2006 S. 219 - 233
Sprache: Englisch
15
49GBVUOB_ALMA7141145984000350149GBVUOB_ALMA71411459840003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411459840003501
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
16
49GBVUOB_ALMA7141137941000350149GBVUOB_ALMA71411379410003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411379410003501
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