First Page | Document Content | |
---|---|---|
Date: 2016-04-05 14:57:15Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt | Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016Add to Reading ListSource URL: pauillac.inria.frDownload Document from Source WebsiteFile Size: 433,39 KBShare Document on Facebook |