Suche in der Hochschulbibliografie

Suche nach: Person = 'Faber, Johannes'

Treffer 1-10 von 11

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5137794904000350149GBVUOB_ALMA51377949040003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51377949040003501
Artikel
What moves youth? : a survey to explore the motivation and barriers of Dutch young adolescents (12–15 years) to participate in sports
von Irene R. Faber ; Johannes W. De Greeff ; Arnoud Bostelaar ; Nicolette Schipper-van Veldhoven
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Faber, Irene R.
Enthalten in: Youth Basel : MDPI, 2022 3(2023), 3, Seite 835-846 Online-Ressource
Sprache: Englisch
>> Volltext
2
dedupmrg142680105349GBVUOB_ALMA21343854810003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21343854810003501
Buch
Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften: Verification architectures for complex real-time systems
von Johannes Faber
2011
Details anzeigen
Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dep. für Informatik
Umfang: XIV, 354 S. graph. Darst..
Weitere Angaben:
Zugl.: Oldenburg, Univ., Diss., 2011
Schlagwörter: Hochschulschrift; ForschungsberichtCSPEchtzeitverarbeitungProzessalgebra
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2011,3
Notation: inf 001 ka
Sprache: Englisch
3
49GBVUOB_ALMA5121401965000350149GBVUOB_ALMA51214019650003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51214019650003501
Artikel
Syspect : modelling, specifying, and verifying real-time systems with rich data
von Johannes Faber ; Sven Linker ; Ernst-Rüdiger Olderog ; Jan-David Quesel
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Linker, SvenOlderog, Ernst-RüdigerQuesel, Jan-David ([2007-])Faber, Johannes ([2004-])
Enthalten in: International Journal of Software and Informatics Beijing : Institute of Software, the Chinese Academy of Sciences, 2007 Bd. 5.2011, 1/2, Part 1, S. 117-137 Online-Ressource
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA2117291942000350149GBVUOB_ALMA21172919420003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21172919420003501
Artikel
Verification architectures : compositional reasoning for real-time systems
von Johannes Faber
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Faber, Johannes ([2004-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/0640x2562977lqp2/fulltext.pdf
Enthalten in: Integrated formal methods Berlin : Springer, 2010 (2010), Seite 136-151 X, 335 S.
Sprache: Englisch
5
49GBVUOB_ALMA2116737892000350149GBVUOB_ALMA21167378920003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21167378920003501
Artikel
Automatic verification of parametric specifications with complex topologies
von Johannes Faber ; Carsten Ihlemann ; Swen Jacobs ; Viorica Sofronie-Stokkermans
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Faber, Johannes ([2004-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/8420851477r41r37/fulltext.pdf
Enthalten in: Integrated formal methods Berlin : Springer, 2010 (2010), Seite 152-167 X, 335 S.
Sprache: Englisch
6
49GBVUOB_ALMA2114846304000350149GBVUOB_ALMA21148463040003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21148463040003501
Artikel
Verification architectures for real-time systems
von Johannes Faber
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Faber, Johannes ([2004-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://csd.informatik.uni-oldenburg.de/~jfaber/dl/FM09_DS.pdf
Enthalten in: Computing science reports Eindhoven, 1994 (2009), 09/15, Seite 14-19
Sprache: Englisch
7
49GBVUOB_ALMA7115644756000350149GBVUOB_ALMA71156447560003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71156447560003501
Artikel
Model checking duration calculus : a practical approach
von Roland Meyer ; Johannes Faber ; Jochen Hoenicke
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])
Enthalten in: Formal aspects of computing London : Springer, 1989 20(2008), 4/5, Seite 481-505
Sprache: Englisch
8
49GBVUOB_ALMA2117486306000350149GBVUOB_ALMA21174863060003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21174863060003501
E-Book
AVACS technical report: From high-level verification to real-time scheduling : a property-preserving integration
von Johannes Faber ; Ingo Stierand
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stierand, Ingo ([1998-])Faber, Johannes ([2004-])
Verlag: Oldenburg u.a.: Univ. u.a.
Umfang: Online-Ressource.
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 19
Sprache: Englisch
>> Volltext
9
49GBVUOB_ALMA2123674432000350149GBVUOB_ALMA21236744320003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236744320003501
Artikel
Verifying CSP-OZ-DC specifications with complex data types and timing parameters
von Johannes Faber ; Swen Jacobs ; Viorica Sofronie-Stokkermans
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Faber, Johannes ([2004-])
Enthalten in: Integrated formal methods Berlin, 2007 S. 233 - 252
Sprache: Englisch
>> Volltext
10
49GBVUOB_ALMA2123628098000350149GBVUOB_ALMA21236280980003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236280980003501
Artikel
Model checking data-dependent real-time properties of the European Train Control System
von Johannes Faber ; Roland Meyer
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])Faber, Johannes ([2004-])
Enthalten in: Formal methods in computer-aided design Los Alamitos, Calif., 2006 S. 76 - 77
Sprache: Englisch
>> Volltext