|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Mehran Goli , Rolf DrechslerPublisher: Springer Fachmedien Wiesbaden Imprint: Springer Vieweg Edition: 1. Aufl. 2023 Weight: 0.477kg ISBN: 9783031369964ISBN 10: 3031369963 Pages: 180 Publication Date: 20 September 2023 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsKapitel 1. Einleitung.- Kapitel 2. Hintergrund.- Kapitel 3. Entwurf und Methodik.- Kapitel 4. Anwendung I: Verifikation.- Kapitel 5. Anwendung II: Sicherheitsvalidierung.- Kapitel 6. Anwendung III: Entwurfsraumuntersuchung - Kapitel 7. Schlussfolgerung.ReviewsAuthor InformationMehran Goli ist seit 2018 wissenschaftlicher Mitarbeiter am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Er erwarb 2012 den B.Sc. in Computertechnik an der Universität Shahid Beheshti, Teheran, Iran, 2015 den M.Sc. in Computertechnik an der Universität Teheran, Teheran, Iran, und 2019 den Dr.-Ing. in Informatik an der Universität Bremen, Bremen, Deutschland. Seine aktuellen Forschungsinteressen umfassen Design auf Systemebene, Verifikation und Sicherheitsvalidierung. Rolf Drechsler erhielt das Diplom und den Dr. Phil. Nat. in Informatik an der J.W. Goethe-Universität Frankfurt am Main, Frankfurt am Main, Deutschland, in den Jahren 1992 und 1995. Von 1995 bis 2000 war er am Institut für Informatik der Albert-Ludwigs-Universität Freiburg im Breisgau und von 2000 bis 2001 in der Abteilung Corporate Technology der Siemens AG in München tätig. Seit Oktober 2001 ist er an der Universität Bremen, Bremen, Deutschland, wo er derzeit als ordentlicher Professor und Leiter der Gruppe für Rechnerarchitektur am Institut für Informatik tätig ist. Seit 2011 ist er zusätzlich Leiter der Gruppe Cyber Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen. Seine aktuellen Forschungsinteressen umfassen die Entwicklung und den Entwurf von Datenstrukturen und Algorithmen mit einem Schwerpunkt auf Schaltungs- und Systementwurf. Er ist ein IEEE Fellow. Übersetzt mit www.DeepL.com/Translator (kostenlose Version) Tab Content 6Author Website:Countries AvailableAll regions |