Search filters

List of works by Jens Brandt

Constructive Polychronous Systems

Embedding Polychrony into Synchrony

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions

The Model Checking View to Clock Gating and Operand Isolation

Translating concurrent action oriented specifications to synchronous guarded actions

Paulina is supported by:

About Paulina

Help