<--- Back to Details
First PageDocument Content
Johannes Kepler / Johannes Kepler University of Linz / Linz / Design closure / System on a chip / Verification / Kepler / Integrated circuit design / Engineering / Electronic engineering / Electronic design / Design
Date: 2014-06-26 06:44:34
Johannes Kepler
Johannes Kepler University of Linz
Linz
Design closure
System on a chip
Verification
Kepler
Integrated circuit design
Engineering
Electronic engineering
Electronic design
Design

Microsoft Word - Kolloquium Informationselektronik.doc

Add to Reading List

Source URL: fmv.jku.at

Download Document from Source Website

File Size: 31,69 KB

Share Document on Facebook

Similar Documents

Software testing / Theoretical computer science / Software engineering / Satisfiability modulo theories / Solver / Test automation / Fuzzing / Application programming interface / Model-based testing / API testing

Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract

DocID: 1xVj1 - View Document

Computer programming / Software engineering / Computing / Debugging / Integrated development environments / Object-oriented programming languages / Scripting languages / Cross-platform software / LLVM / Debugger / Wing IDE / Clang

Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria

DocID: 1xUgT - View Document

DOC Document

DocID: 1xS8x - View Document

PDF Document

DocID: 1xOYS - View Document

PDF Document

DocID: 1xMDb - View Document