Model Checking Emerging Technology Circuits
- Datum
- 27.02.2018
- Zeit
- 13:00 - 14:00
- Sprecher
- Steffen Märcker & Michael Raitza
- Zugehörigkeit
- Institute of Theoretical Computer Science
- Sprache
- en
- Hauptthema
- Informatik
- Andere Themen
- Informatik, Physik, Mathematik, Elektro- u. Informationstechnik
- Host
- Jens Karschau
Letztmalig verändert: 13.02.2018, 13:08:50
Veranstaltungsort
TUD Andreas-Pfitzmann-Bau (Informatik) (APB 2026)Nöthnitzer Straße4601069Dresden
- Homepage
- https://navigator.tu-dresden.de/etplan/apb/00
Veranstalter
cfaed - Center for Advancing Electronics DresdenBarkhausen Building II/7b, Georg-Schumann-Str.1101187Dresden
- Telefon
- +49 351 463-41000
- Fax
- +49 351 463-41099
- TUD cfaed
- Homepage
- http://www.cfaed.de/
Legende
- Ausgründung/Transfer
- Bauing., Architektur
- Biologie
- Chemie
- Elektro- u. Informationstechnik
- für Schüler:innen
- Gesellschaft, Philos., Erzieh.
- Informatik
- Jura
- Maschinenwesen
- Materialien
- Mathematik
- Medizin
- Physik
- Psychologie
- Sprache, Literatur und Kultur
- Umwelt
- Verkehr
- Weiterbildung
- Willkommen
- Wirtschaft
