Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
EUR 27,70
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Librería: Wonder Book, Frederick, MD, Estados Unidos de America
EUR 21,13
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 50,92
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 314 pages. 9.50x7.50x0.75 inches. In Stock.
Publicado por Morgan Kaufmann 2013-10-25, 2013
ISBN 10: 0124166199 ISBN 13: 9780124166196
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
EUR 45,50
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 54,28
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 314 3:B&W 7.5 x 9.25 in or 235 x 191 mm Perfect Bound on White w/Gloss Lam.
Publicado por Elsevier Science & Technology, 2013
ISBN 10: 0124166199 ISBN 13: 9780124166196
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 56,23
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 584.
Publicado por Cuvillier, Cuvillier Sep 2011, 2011
ISBN 10: 3869558830 ISBN 13: 9783869558837
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 28,70
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -Die Elektronik und die Informatik wird in den nächsten Jahrzehnten einen immer höheren Stellenwert im Bereich der Fahrzeugsicherheit einnehmen. Neue Sensoren zur Umweltwahrnehmung werden die Fahrzeuge in die Lage versetzen angemessen auf die aktuelle Verkehrssituation zu reagieren. Es wird erwartet, dass aktive Sicherheitssysteme, wie beispielsweise die automatische Notbremsung, Fußgänger- und Radfahrererkennung und Funktionen zur Unfallvermeidung, die Anzahl tödlicher Verkehrsunfälle weiter zurückgehen lassen werden. Dabei besteht die Herausforderung darin, die neuen Sicherheitsfunktionen in ein System zu integrieren, dass bereits heute hochkomplex und vernetzt ist. Entstehen werden Echtzeitsysteme, die aus hochintegrierten Subsystemen bestehen werden. In dieser Dissertation werden Methoden entwickelt, um die Auslegung derartiger Steuergeräte in frühen Entwicklungsphasen abzusichern. Mithilfe von Modelltransformationen sowie simulativer und formaler Methoden werden verschiedene Architekturkonzepte aus den Perspektiven e¿ektiver Umfeldwahrnehmung, funktionaler Sicherheit und Echtzeitfähigkeit betrachtet und bewertet. Von besonderer Bedeutung sind hierbei die Echtzeiteigenschaften der Softwareanteile der Sicherheitsfunktionen. Alle entwickelten Methoden wurden im Rahmen einer Forschungskooperation zwischen der Universität Erlangen-Nürnberg und der AUDI AG angewendet. Folgende Erkenntnisse konnten unter Anderem gewonnen werden:¿ Die Fusion von Objektlisten verschiedenartiger Sensoren ist aus Kosten-Nutzen-Sicht zu bevorzugen. ¿ Modellbasierte Sicherheitsanalysen bieten sich insbesondere in frühen Entwicklungsphasen an, den Entwicklungsprozess zu unterstützen. ¿ Für die Echtzeitanalyse von Steuergeräten sind exakte Algorithmen erforderlich, die in der Lage sind die kritischen Systemzustände zu visualisieren. ¿ Die Simulation der Softwaretasks ist ein wichtiger Bestandteil der Analyse und ist erforderlich, um die dynamischen Effekte des Systems zu verstehen, sowie die Relevanz der kritischen Systemzustände einschätzen zu können. ¿ Der Ansatz der modellgetriebenen Entwicklung ist besonders praktikabel in frühen Phasen der Systementwicklung, wenn man die Verallgemeinerung der Erkenntnisse unter Berücksichtigung des Abstraktionsgrades der Systemmodelle und der Eingabeparametermodelle durchführt. Durch die durchgeführten Analysen wurden Jahre vor der Serienproduktion, und Monate bevor erste Entwicklungsmuster zur Verfügung standen, an verschiedenen Stellen Engpässe in der Leistungsfähigkeit der Architekturkonzepte gefunden. Aufgrund der guten Zusammenarbeit zwischen OEM, Lieferant und Wissenschaft wurden neue Entwicklungsprozesse ins Leben gerufen und implementiert. Sowohl momentane als auch zukünftige Sicherheitssysteme prötieren von den entwickelten Methoden und werden die Basis bieten können um effiziente und effektive Funktionen der Fahrzeugsicherheit umsetzen zu können.Cuvillier Verlag, Nonnenstieg 8, 37075 Göttingen 166 pp. Englisch.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 66,04
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 63,46
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 314.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 59,67
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America
EUR 53,35
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
Publicado por Morgan Kaufmann 2013-10-25, 2013
ISBN 10: 0124166199 ISBN 13: 9780124166196
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
EUR 62,49
Convertir monedaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 64,45
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 314.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 65,44
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 70,37
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: The Maryland Book Bank, Baltimore, MD, Estados Unidos de America
Original o primera edición
EUR 58,54
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good. First Edition. Corners are bent. Used - Good.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 72,22
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por LAP LAMBERT Academic Publishing Jan 2011, 2011
ISBN 10: 3843393885 ISBN 13: 9783843393881
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 59,00
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic (can be abstracted or refined), and multiform. All these properties make logical time adequate also at design time, whereas precise physical time annotations should only matter in later post-synthesis stages. The Clock Constraint Specification Language (CCSL) is a concrete language dedicated to the modeling and analysis of logical time properties. CCSL was initially defined as a companion for the time model of the UML profile for MARTE. It has now become a full-fledged domain-specific modeling language for capturing causal, chronological and timed relationships. It should complement other syntactic models to capture their underlying model of computation. This book starts by describing the historical models of concurrency that have inspired the construction of CCSL. Then, CCSL is introduced and used to build libraries dedicated to two emerging standard models from the automotive (East-ADL) and the avionic (AADL) domains. Finally, an observer-based technique to verify Esterel and VHDL implementations against CCSL specifications is presented.Books on Demand GmbH, Überseering 33, 22297 Hamburg 124 pp. Englisch.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 91,35
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 2nd edition. 300 pages. 9.00x6.00x0.75 inches. In Stock.
Publicado por ISTE Press Ltd - Elsevier Inc, 2020
ISBN 10: 1785481908 ISBN 13: 9781785481901
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 100,13
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. New copy - Usually dispatched within 4 working days. 580.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 114,76
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 106,25
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 109,43
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 125,65
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 126,68
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por ISTE Press Ltd - Elsevier Inc, 2015
ISBN 10: 1785480146 ISBN 13: 9781785480140
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
EUR 140,40
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 272 | Sprache: Englisch | Produktart: Bücher.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 127,80
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3843393885 ISBN 13: 9783843393881
Idioma: Inglés
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 120,17
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: Best Price, Torrance, CA, Estados Unidos de America
EUR 58,63
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 148,01
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.