Information system of Friedrich-Alexander-University Erlangen-Nuremberg
© Config eG
Collection/class schedule
module collection
Home
|
Legal Matters
|
Contact
|
Help
search:
People
Departments
Other entries
Lecture list
Module
Rooms
Publications
Research projects
Internat. contacts
Job offers
Furniture and equipment offers
Thesis offers
semester:
WS 2024/2025
SS 2024
WS 2023/2024
SS 2023
WS 2022/2023
SS 2022
WS 2021/2022
SS 2021
WS 2020/2021
SS 2020
WS 2019/2020
SS 2019
WS 2018/2019
SS 2018
WS 2017/2018
SS 2017
WS 2016/2017
SS 2016
WS 2015/2016
SS 2015
WS 2014/2015
SS 2014
WS 2013/2014
SS 2013
WS 2012/2013
SS 2012
WS 2011/2012
SS 2011
WS 2010/2011
SS 2010
WS 2009/2010
SS 2009
WS 2008/2009
SS 2008
WS 2007/2008
SS 2007
WS 2006/2007
SS 2006
WS 2005/2006
SS 2005
WS 2004/2005
SS 2004
WS 2003/2004
SS 2003
WS 2002/2003
SS 2002
WS 2001/2002
SS 2001
WS 2000/2001
SS 2000
WS 1999/2000
SS 99
WS 98/99
SS 98
WS 97/98
SS 97
WS 96/97
Layout
printable version
Also in UnivIS
course list
lecture directory
events calendar
job offers
furniture and equipment offers
Artificial Intelligence (Master of Science)
>>
Bitte aktivieren Sie Javascript in Ihrem Browser, um die Funktionalität dieser Seite voll nutzen zu können.
Übung zur Verifikation digitaler Systeme (UE-VdS)
Lecturer
Prof. Dr.
Oliver Keszöcze
Details
Übung
2 cred.h, ECTS studies, ECTS credits: 2,5
für FAU Scientia Gaststudierende zugelassen, Sprache Deutsch
Time and place: Thu 10:15 - 11:45,
02.112-128
Fields of study
WPF INF-BA-V-HSCD ab 4
WF CE-BA-TW ab 4
WPF INF-MA ab 1
WPF AI-MA ab 1
ECTS information:
Credits:
2,5
Additional information
Expected participants: 14
Assigned to:
Verifikation digitaler Systeme
Verwendung in folgenden UnivIS-Modulen
Startsemester SS 2022
:
Verifikation digitaler Systeme (VdS)
Department:
Chair of Computer Science 12 (Hardware-Software-Co-Design)
UnivIS is a product of
Config eG
, Buckenhof