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_ALMA2123690099000350149GBVUOB_ALMA21236900990003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236900990003501
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
12
49GBVUOB_ALMA2123651735000350149GBVUOB_ALMA21236517350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236517350003501
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
13
49GBVUOB_ALMA2123689161000350149GBVUOB_ALMA21236891610003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236891610003501
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
14
49GBVUOB_ALMA2123649810000350149GBVUOB_ALMA21236498100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236498100003501
Artikel
Concurrent LSC verification : on decomposition properties of partially ordered symbolic automata
von Tobe Toben ; Bernd Westphal
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, BerndToben, Tobe ([2004-])
Enthalten in: Proceedings / Fifth International Workshop on Automated Verification of Critical Systems, September 12 - 13, 2005 Warwick, 2005 S. [85] - 99
Sprache: Englisch
15
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
16
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