Lecture Notes in Electrical Engineering - System Specification and Design Languages
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer New York

9781461414261, 9781461414278
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Architecture Specifications in CλaSH

2011 ◽  
pp. 191-206 ◽  
Author(s):  
Jan Kuper ◽  
Christiaan Baaij ◽  
Matthijs Kooijman ◽  
Marco Gerards

Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC

2011 ◽  
pp. 123-141
Author(s):  
Jon Perez ◽  
Carlos Fernando Nicolas ◽  
Roman Obermaisser ◽  
Christian El Salloum
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems

2011 ◽  
pp. 71-89
Author(s):  
Tobias Kirchner ◽  
Nico Bannow ◽  
Christian Kerstan ◽  
Christoph Grimm
Keyword(s):  
Analog Systems

Towards Abstract Analysis Techniques for Range Based System Simulations

2011 ◽  
pp. 105-121
Author(s):  
Florian Schupfer ◽  
Michael Kärgel ◽  
Christoph Grimm ◽  
Markus Olbrich ◽  
Erich Barke
Keyword(s):  
Analysis Techniques
Load More ...
Sign in / Sign up

Export Citation Format

Share Document