ijeukens documents

Engineering On the Choice of Models of Computation for Writing Executable Specificatoins of System Level Designs

Engineering Capturing Monotonic Components from Input Patterns

Engineering Exploring Models of Computation through Static Analysis

Engineering Pattern-based Definition and Generation of Components for a Synchronous Reactive Actor-oriented Language

Science Comparison between heuristic algorithms for graph otimization

Engineering A Methodology for Embedded software design based on Models of Computation

Engineering Study about Models of Computatoin for describing Digital Systems