Languages for System Specification
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Kluwer Academic Publishers

1402079907
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Case Study: SystemC-Based Design of an Industrial Exposure Control Unit

2006 ◽  
pp. 119-132 ◽  
Author(s):  
Axel G. Braun ◽  
Thorsten Schubert ◽  
Martin Stark ◽  
Karsten Haug ◽  
Joachim Gerlach ◽  
...  
Keyword(s):  
Control Unit ◽  
Exposure Control

Modeling of CSP, KPN and SR Systems with SystemC

2006 ◽  
pp. 133-148 ◽  
Author(s):  
Fernando Herrera ◽  
Pablo Sánchez ◽  
Eugenio Villar

A VHDL-AMS Library of Hierarchical Optoelectronic Device Models

2006 ◽  
pp. 183-199 ◽  
Author(s):  
F. Mieyeville ◽  
M. Brière ◽  
I. O’Connor ◽  
F. Gaffiot ◽  
G. Jacquemod
Keyword(s):  
Optoelectronic Device

Reliability Simulation of Electronic Circuits with VHDL-AMS

2006 ◽  
pp. 217-228 ◽  
Author(s):  
François Marc ◽  
Benoît Mongellaz ◽  
Yves Danto
Keyword(s):  
Electronic Circuits

Modeling CHP Descriptions in Labeled Transitions Systems for an Efficient Formal Validation of Asynchronous Circuit Specifications

2006 ◽  
pp. 285-300
Author(s):  
Menouer Boubekeur ◽  
Dominique Borrione ◽  
Laurent Mounier ◽  
Antoine Siriani ◽  
Marc Renaudin
Keyword(s):  
Asynchronous Circuit ◽  
Formal Validation

On Hardware Description in ECL

2006 ◽  
pp. 149-162
Author(s):  
Lluís Ribas ◽  
Joaquin Saiz
Keyword(s):  
Hardware Description

Systemverilog

2006 ◽  
pp. 349-357
Author(s):  
Wolfgang Ecker ◽  
Peter Jensen ◽  
Thomas Kruse

A New Time Extension to π-Calculus Based on Time Consuming Transition Semantics

2006 ◽  
pp. 271-283 ◽  
Author(s):  
Marco Fischer ◽  
Stefan Förster ◽  
André Windisch ◽  
Dieter Monjau ◽  
Burkhard Balser
Keyword(s):  
Time Extension ◽  
Π Calculus ◽  
New Time

Refinement of Hybrid Systems

2006 ◽  
pp. 315-330 ◽  
Author(s):  
Jan Romberg ◽  
Christoph Grimm
Keyword(s):  
Hybrid Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document