Skip to contents Hooman, Jozef J. [Author] ; Hooman, Jozef [Other] Specification and compositional verification of real-time systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 558 Hooman, Jozef J. [Author]; Roever, Willem-Paul de [Author] An introduction to compositional methods for concurrency and their application to real-time Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9109 Hooman, Jozef J. [Author]; Roever, Willem-Paul de [Author] Verification and specification of concurrent programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Published 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 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2016 Published 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 Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2014 Published 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 Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2015 Published 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 Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Lecture Notes in Computer Science
Hooman, Jozef J. [Author] ; Hooman, Jozef [Other] Specification and compositional verification of real-time systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 558
Hooman, Jozef J. [Author]; Roever, Willem-Paul de [Author] An introduction to compositional methods for concurrency and their application to real-time Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9109
Hooman, Jozef J. [Author]; Roever, Willem-Paul de [Author] Verification and specification of concurrent programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Published 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 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2016 Published 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 Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2014 Published 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 Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2015 Published 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 Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Lecture Notes in Computer Science
> Media type Skip to next facet Articles (4) Wert ausschließen Books (3) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (2) Wert ausschließen Stack Collection (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (2) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (1) Wert ausschließen Without Specification (3) Wert ausschließen Show more show less
> Language Skip to next facet English (4) Wert ausschließen Not determined (3) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator 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 Show more show less
> Collection 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 Show more show less