Sabine Glesner - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 16 von 16

)

Berta_Danilo_Pairwise_Graph_v2

www.slideshare.net

LinkedIn SlideShare Sabine Glesner (TU Berlin), IEEE International Conference on Software Maintenance (ICSM)” but with a different ...

Poster r eund_produktlinien

pt.slideshare.net

Fachgebiete Softwaretechnik und Programmierung eingebetteter Systeme http://swt.cs.tu-berlin.de …

Stuart russell and peter norvig artificial intelligence - a modern …

de.slideshare.net

Vice President and Editorial Director, ECS: Marcia 1. Horton Editor-in-Chief: Michael Hirsch Executive Editor: Tracy Dunkelberger Assistant Editor: Melinda Hag…

dblp: Sabine Glesner

dblp.dagstuhl.de

List of computer science publications by Sabine Glesner

A Denotational Semantics for Communicating Unstructured Codearxiv.org › cs

arxiv.org

· Authors:Nils Jähnig (TU Berlin), Thomas Göthel (TU Berlin), Sabine Glesner (TU Berlin). Download PDF. Abstract: An important property of ...

Glesner, Sabine [WorldCat Identities]

worldcat.org

Most widely held works by Sabine Glesner. Optimized Aspect Execution Mechanisms inside Virtual Machines for Embedded Systems by Christine Hundt( )

Towards a Formal Framework for Mobile, Service-Oriented ...arxiv.org › cs

arxiv.org

Title:Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. Authors:Helena Gruhn, Sabine Glesner · Download ...

EPTCS 199: Verification and Program Transformation

arxiv.org

Verifying Temporal Properties of Reactive Systems by Transformation Geoff Hamilton, 33. Control Flow Analysis for SF Combinator Calculus Martin Lester, 51. Towards the Verification of Refactorings of Hybrid Simulink Models Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner,