@Book{595322611,
author="Tetzner, Elke",
title="Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP",
year="2008",
abstract="Die Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften f{\"u}r die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit wurden hybride Systeme neu unter formal nachweisbaren Akzeptanzbedingungen definiert, welche durch praktische Beispiele belegt sind. Weitere Ergebnisse sind eine neue Klassifikation hybrider Systeme, ein Werkzeug ROSSY, Anfragebeschreibungen und deren Transformation in temporal-logische Ausdr{\"u}cke, Anfragemasken und Anwendungen f{\"u}r Studiensysteme und parallele Programme.",
note="vorgelegt von Elke Tetzner",
note="Rostock, Univ., Fak. f. Informatik u. Elektrotechnik, Diss., 2009",
url="http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2009-0057-3",
url="http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2009-0057-3&pdf",
url="http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2009-0057-3",
language="German"
}