Autor der Publikation

Program Development by Transforamtion and Refinement.

, , und . Advanced Programming Environments, Volume 244 von Lecture Notes in Computer Science, Seite 471-486. Springer, (1986)

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

Design of a formal model for the specification of agent platforms based on Plug&Produce-able production systems., , und . Production Engineering, 1 (3): 321-328 (2007)Combined Stimulation and Measurement System for Array Electrodes., , , , und . BIODEVICES, Seite 345-349. SciTePress, (2012)Inferior frontal white matter microstructure and patterns of psychopathology in women with borderline personality disorder and comorbid attention-deficit hyperactivity disorder., , , , , , und . NeuroImage, 35 (2): 738-747 (2007)Axially Elongated Field-Free Point Data Acquisition in Magnetic Particle Imaging., , , , und . IEEE Trans. Med. Imaging, 34 (2): 381-387 (2015)An extended type system with lambda-typed lambda-expressions (extended version).. CoRR, (2018)Generic Library Interception for Improved Performance Measurement and Insight., , , , , und . CoRR, (2018)The CVM Framework - A Prototype Tool for Compositional Variability Management., , , , und . VaMoS, Volume 37 von ICB-Research Report, Seite 101-105. Universität Duisburg-Essen, (2010)Construction of Harmonic Surfaces with Prescribed Geometry.. ICMS, Volume 6327 von Lecture Notes in Computer Science, Seite 170-173. Springer, (2010)Program Development by Transforamtion and Refinement., , und . Advanced Programming Environments, Volume 244 von Lecture Notes in Computer Science, Seite 471-486. Springer, (1986)Combining Statecharts and Z for the Design of Safety-Critical Control Systems.. FME, Volume 1051 von Lecture Notes in Computer Science, Seite 307-326. Springer, (1996)