Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2021
|
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2008
|
Software engineering in e-learning systems
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2013
|
Software development effort estimation for distributed embedded-systems
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
SOA interoperability for large-scale pervasive environments
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2014
|
Smart views in smart meeting rooms
|
Dissertationsschrift
|
Elektronische Ressource
|
2014
|
Smart views in smart meeting rooms
|
Dissertationsschrift
|
Druckschrift
|
2011
|
Smart views in smart environments
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2011
|
Smart user assistance based on dynamic model composition
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Smart privacy management in ubiquitous computing environments
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Smart privacy management in ubiquitous computing environments
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|