Fingerprint
Untersuchen Sie die Forschungsthemen von „TIC: A scalable model checking based approach to WCET eEstimation“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
TIC: A scalable model checking based approach to WCET eEstimation
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
10
Zitate
(Scopus)