KOBV Portal

Hits per page

hits 1 - 4 | 4 hits

Sorting

Online Resource

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2015 : Tagungsband : Chemnitz, 03.-04. März 2015 (13)

Heinkel, Ulrich [HerausgeberIn] ; Kriesten, Daniel [HerausgeberIn] ; Rößler, Marko [HerausgeberIn] ; [et al.]

Chemnitz : Technische Universität

Show associated volumes

add to watchlist on the watchlist

Details

UID:

gbv_851003087

Format: 1 Online Ressource (182 Seiten) , Illustrationen, Diagramme

ISBN: 9783944640341 , 9783000488894

Note: Beiträge teilweise in deutscher, teilweise in englischer Sprache

Language: German

Keywords: Beschreibungssprache ; Computerunterstütztes Verfahren ; Schaltungsentwurf ; Systementwurf ; Konferenzschrift

URN: urn:nbn:de:bsz:14-qucosa-164197

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Online Resource

Model-based systems engineering with Matlab/Simulink in the railway sector (13)

Nitsch, Alexander [VerfasserIn] ; Beichler, Benjamin [VerfasserIn] ; Golatowski, Frank [VerfasserIn] 1963- ; [et al.]

Show associated volumes

add to watchlist on the watchlist

Details

UID:

gbv_851014003

Format: Illustrationen, Diagramme

ISBN: 9783944640341

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Chemnitz : Technische Universität, 2015, (2015), Seite 125-134, 9783944640341

In: 9783000488894

In: year:2015

In: pages:125-134

Language: English

URN: urn:nbn:de:bsz:14-qucosa-164197

URL: Volltext

Author information: Haubelt, Christian 1972-

Author information: Golatowski, Frank 1963-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Online Resource

On the influence of hardware design options on schedule synthesis in time-triggered real-time systems (13)

Biewer, Alexander [VerfasserIn] ; Munk, Peter [VerfasserIn] ; Gladigau, Jens [VerfasserIn] ; [et al.]

Show associated volumes

add to watchlist on the watchlist

Details

UID:

gbv_85100752X

Format: Illustrationen

ISBN: 9783944640341

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Chemnitz : Technische Universität, 2015, (2015), Seite 105-114, 9783944640341

In: 9783000488894

In: year:2015

In: pages:105-114

Language: English

URN: urn:nbn:de:bsz:14-qucosa-164197

URL: Volltext

Author information: Haubelt, Christian 1972-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Online Resource

Evaluation of a software-based centralized traffic management inside run-time reconfigurable regions-of-interest of a mesh-based Network-on-Chip topology (13)

Gorski, Philipp [VerfasserIn] 1981- ; Wegner, Tim [VerfasserIn] 1984- ; Timmermann, Dirk [VerfasserIn] 1957-

Show associated volumes

add to watchlist on the watchlist

Details

UID:

gbv_851385184

Format: Illustrationen, Diagramme

ISBN: 9783944640341

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Chemnitz : Technische Universität, 2015, (2015), Seite 63-72, 9783944640341

In: 9783000488894

In: year:2015

In: pages:63-72

Language: English

URN: urn:nbn:de:bsz:14-qucosa-164197

URL: Volltext

Author information: Timmermann, Dirk 1957-

Author information: Wegner, Tim 1984-

Author information: Gorski, Philipp 1981-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

hits 1 - 4 | 4 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 9783000483899?

Did you mean 9781000488494?

Did you mean 9783000428890?

Kooperativer Bibliotheksverbund

Berlin Brandenburg