1
0
0
(1 - 15 von 18
)
T - IPD Goos - Yumpu
www.yumpu.com
— .de. Prof. Dr. Gerhard Goos, Dr. Sabine Glesner Höhere Programmiersprachen WS : Teil 1 Grundlagen › document › view › t-ipd-goos
Editors - SICS Software-Intensive Cyber-Physical Systems
www.springer.com
Editor-in-Chief Sabine Glesner Technical University of Berlin, Germany Editorial Board Uwe Borghoff Bundeswehr University, Munich, Germany Björn ... › journal
hps5.pdf
www.yumpu.com
hps5.pdf Lies mehr über Gerhard, Goos, Sabine, Glesner, Programmiersprachenws und Fortran.
Combining Model Checking and Testing in a Continuous HW/SW...
link.springer.com
SystemC is widely used for modeling and simulation in hardware/software co-design. However, the co-verification techniques used for SystemC designs are mostly...
Sabine Glesner - second.wikisecond.wiki › wiki › sabine_glesner
second.wiki
Sabine Anne Maria Glesner (* ) is a German computer scientist and university lecturer . She heads the Software and Embedded Systems Engineering ...
Formal Verification of Discrete-Time MATLAB/Simulink Models Using...
link.springer.com
Matlab/Simulink is a widely used industrial tool for the development of embedded systems. Many of these systems are safety critical, especially in automotive...
Neue Professuren – FreitagsrundenWiki
wiki.freitagsrunde.org
Programmierung eingebetteter Systeme (C3): Frau Dr. Sabine Glesner ist ab dem WS mit dem Fachgebiet PES Mitglied der Fakultät.
Design and Implementation of an Efficient Instruction Set Simulator ...www.volkerseeker.com › publication › 2011_diplom
www.volkerseeker.com
· Dr. Sabine Glesner · Dr. Björn Franke; Dirk Tetzlaff. This work was partially funded by the Network of Excellence on Embedded Systems Design ...
Efficient Construction and Verification of Embedded Software |...
link.springer.com
Intelligent Computer-Human Interface, Shanghai Jiao Tong University. Authors. Sabine Glesner (5). Author Affiliations. 5. Software Engineering for Embedded ...
Natural Semantics for Imperative and Object-Oriented Programming...
link.springer.com
We present a declarative specification method based on natural semantics which is suitable for the definition of the static and dynamic semantics of imperative...
Refinement-Based Verification of Communicating Unstructured Code |...
link.springer.com
Formal model refinement aims at preserving safety and liveness properties of models. However, there is usually a verification gap between model and executed...
Optimizing Aspect-Oriented Mechanisms for Embedded Applications |...
link.springer.com
As applications for small embedded mobile devices are getting larger and more complex, it becomes inevitable to adopt more advanced software engineering...
Towards the Automated Synthesis of Data Dependent Service Controllers...
link.springer.com
The treatment of data is a crucial step in service composition but it is currently done manually and informally. This makes the development process...
SICS Software-Intensive Cyber-Physical Systems | Home
www.springer.com
Editor-in-Chief: Sabine Glesner Executive Editor: H. Engesser. ISSN: (print version) ISSN: (electronic version) Journal no. 450
Verwandte Suchanfragen zu Sabine Glesner
Holger Giese Thomas Göthel Paula Herber | Christine Hundt Jürgen Ebert Manfred Broy | Sebastian Schlesinger Manfred Nagl Elke Salecker |
Personen Vorname "Sabine" (69754) Name "Glesner" (16) |
sortiert nach Relevanz / Datum