Zum Inhalt springen Hooman, Jozef J. [VerfasserIn] ; Hooman, Jozef [Sonstige Person, Familie und Körperschaft] Specification and compositional verification of real-time systems Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1991 Erschienen in: Lecture notes in computer science ; 558 Hooman, Jozef J. [VerfasserIn]; Roever, Willem-Paul de [VerfasserIn] An introduction to compositional methods for concurrency and their application to real-time Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9109 Hooman, Jozef J. [VerfasserIn]; Roever, Willem-Paul de [VerfasserIn] Verification and specification of concurrent programs Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9111 Keshishzadeh, Sarmen; Mooij, Arjan J.; Hooman, Jozef Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2016 Erschienen in: Electronic Proceedings in Theoretical Computer Science Mooij, Arjan J.; Hooman, Jozef; Albers, Rob Foundations of Health Information Engineering and Systems: Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2014 Erschienen in: Foundations of Health Information Engineering and Systems Mooij, Arjan J.; Eggen, Gernot; Hooman, Jozef; van Wezep, Hans Theory and Practice of Model Transformations: Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Theory and Practice of Model Transformations Hooman, Jozef; Mooij, Arjan J.; van Wezep, Hans Lecture Notes in Computer Science: Early Fault Detection in Industry Using Models at Various Abstraction Levels Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Lecture Notes in Computer Science
Hooman, Jozef J. [VerfasserIn] ; Hooman, Jozef [Sonstige Person, Familie und Körperschaft] Specification and compositional verification of real-time systems Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1991 Erschienen in: Lecture notes in computer science ; 558
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hooman, Jozef J. [VerfasserIn]; Roever, Willem-Paul de [VerfasserIn] An introduction to compositional methods for concurrency and their application to real-time Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9109
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hooman, Jozef J. [VerfasserIn]; Roever, Willem-Paul de [VerfasserIn] Verification and specification of concurrent programs Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9111
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Keshishzadeh, Sarmen; Mooij, Arjan J.; Hooman, Jozef Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2016 Erschienen in: Electronic Proceedings in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mooij, Arjan J.; Hooman, Jozef; Albers, Rob Foundations of Health Information Engineering and Systems: Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2014 Erschienen in: Foundations of Health Information Engineering and Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mooij, Arjan J.; Eggen, Gernot; Hooman, Jozef; van Wezep, Hans Theory and Practice of Model Transformations: Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Theory and Practice of Model Transformations
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hooman, Jozef; Mooij, Arjan J.; van Wezep, Hans Lecture Notes in Computer Science: Early Fault Detection in Industry Using Models at Various Abstraction Levels Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (4) Wert ausschließen Bücher (3) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (2) Wert ausschließen Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (2) Wert ausschließen Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (1) Wert ausschließen Ohne Angabe (3) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (4) Wert ausschließen Nicht zu entscheiden (3) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (1) Wert ausschließen Mathematik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Hooman, Jozef (5) Wert ausschließen Mooij, Arjan J. (4) Wert ausschließen Hooman, Jozef J. (3) Wert ausschließen Roever, Willem-Paul de (2) Wert ausschließen van Wezep, Hans (2) Wert ausschließen Albers, Rob (1) Wert ausschließen Eggen, Gernot (1) Wert ausschließen Keshishzadeh, Sarmen (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (3) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (2) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen