Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

HICSS
2003
IEEE

favoriteEmaildiscussreport

104views Biometrics» more HICSS 2003»

Certification Support for Automatically Generated Programs

13 years 9 months ago

Certification Support for Automatically Generated Programs

Download ti.arc.nasa.gov

Johann Schumann, Bernd Fischer 0002, Michael W. Wh

Real-time Traffic

Biometrics | HICSS 2003 | System Sciences |

claim paper

Related Content

» Resource Bound Certification

» Certificate translation for specificationpreserving advices

» Automatic ADLBased Assembler Generation for ASIP Programming Support

» Structured Audio Player Supporting Radio Archive Workflows with Automatically Generated St...

» Automatic Generation of Editors for HigherOrder Data Structures

» A framework and tool supports for generating test inputs of AspectJ programs

» Panda a Patternbased Programming System for Automatic Code Generation

» Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical...

» Automatic generation of library bindings using static analysis

Post Info
More Details (n/a)

Added	04 Jul 2010
Updated	04 Jul 2010
Type	Conference
Year	2003
Where	HICSS
Authors	Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle

Comments (0)