Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Prespecification in Data Refinement., , und . Inf. Process. Lett., 25 (2): 71-76 (1987)rCOS: A refinement calculus of object systems., , und . Theor. Comput. Sci., 365 (1-2): 109-142 (2006)Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs., und . Formal Asp. Comput., 15 (1): 84-99 (2003)The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs., , und . Formal Asp. Comput., 9 (2): 149-174 (1997)An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model., , , , , und . SEFM, Seite 376-385. IEEE Computer Society, (2004)An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem., , und . DDECS, Seite 151-152. IEEE Computer Society, (2006)Unifying theories of programming., und . RelMiCS, Seite 97-99. (1998)Contract Oriented Development of Component Software., , und . IFIP TCS, Volume 155 von IFIP, Seite 349-366. Kluwer/Springer, (2004)Service Refinement.. APSEC, Seite 5. IEEE Computer Society, (2008)Refinement and test case generation in Unifying Theory of Programming.. ICSM, Seite 6. IEEE Computer Society, (2008)