Výsledky vyhľadávania - "Software/Program Verification—Model checking General Terms Algorithms"

F.: Timing analysis enhancement for synchronous program

Autori: Pascal Raymond Claire Maiza Catherine Parent-vigouroux a ďalší

Prispievatelia: Pascal Raymond Claire Maiza Catherine Parent-vigouroux a ďalší

Zdroj: http://www-verimag.imag.fr/PUBLIS/uploads/ovcuf5189.pdf.

Predmety: Purpose and Application-Based Systems—Real-time and embedded systems, D.2.8 [Software Engineering, Met- rics—Performance measures, D.2.4 [Software Engineer- ing, Software/Program Verification—Model checking General Terms Algorithms, Measurement, Verification Keywords WCET, Model-Based Design, Synchronous Languages, Model Checking, Traceability

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.140

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.140
http://www-verimag.imag.fr/PUBLIS/uploads/ovcuf5189.pdf