Back to Results
First PageMeta Content
Programming language implementation / Functional languages / Procedural programming languages / Compiler construction / Type theory / Compiler / OCaml / Porting / Frama-C / Computing / Software engineering / Computer programming


INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo
Add to Reading List

Document Date: 2013-05-14 11:38:04

Open Document

File Size: 1,91 MB

Share Result on Facebook

Company

INFORMATION AND COMMUNICATION TECHNOLOGIES / Intel / Esterel Technologies / /

Facility

When building / /

IndustryTerm

synthesis tool / design type/logical systems / software deliverable / software components / specific processors / automatic tool / embedded software / software analyzers / transition systems / web application / /

Organization

International Criminal Court / /

Person

Antoine Madet / Roberto M. Amadio / Nicolas Ayache / /

Product

C-243881 / /

ProgrammingLanguage

R / C / K / php / /

TVStation

WCET / /

Technology

specific processors / simulation / 8-bits processor / operating systems / /

URL

http /

SocialTag