Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisierung werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens. Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik und Informationstechnik.
Galaxus.de
Mehr als 20 Jahre ist es her, dass der kleine, unternehmungslustige Fisch Bernhard die Schwarzwald-Hauptstadt Freiburg im Breisgau und deren Bächle kennengelernt hat. Bernhards Enkel, die süssen kleinen Goldfische Lea und Philipp, haben von Grossvater Bernhard schon so viel über Freiburg gehört. Eines Tages halten sie es vor Neugierde nicht mehr aus und fassen einen Entschluss: Wir wollen nach Freiburg! Heute, an einem wunderschönen, sonnigen Tag, wagen sie den Sprung aus ihrem Teich über die Mauer in die Bächle. Sie tauchen ein in eine neue, faszinierende Welt und folgen dem Lauf der Bächle kreuz und quer durch die Freiburger Altstadt. Ein Freiburg-Bilderbuch und Stadtführer für Kinder und alle, die noch staunen können!.
Galaxus.de
Cowboy Klaus sitzt auf dem Trockenen: Otto, der dicke Ochsenfrosch, verstopft die Wasserleitung. Cowboy Klaus freut sich über den neuen Mitbewohner, doch Lisa und Rosi sind entsetzt: Der Frosch muss weg! Findet Otto in der Stadt ein neues Zuhause?.
Galaxus.de
Das Multitalent PondoSolar 600 Control sorgt ganz ohne Stromanschluss für attraktive Fontänen auch bei Wolken und in der Dämmerung. Einfach installiert lassen sich mit den zwei verschiedenen Düsenköpfen dieses Wasserspiel-Solar-Sets unterschiedliche Wasserbilder erschaffen. Die LED-Beleuchtung sorgt abends für gemütliche Stimmung am Teich und eine Fernbedienung (433 MHz) für noch mehr Komfort. Im Set enthalten ist eine Wasserspielpumpe mit einer Leistung von 600 l/h mit neuester Akku-Technologie (7,4 V-4.000mAH LI-Ionen). Ferner ist ein Solarpanelmodul (7 W - 9 V) Bestandteil des Sets. So kann eine maximale Fontänenhöhe von 0,8 m erreicht werden.
Galaxus.de