Litcius/Paper detail

Imprecise Computations

Unknown authors

2020256 citationsDOI

Topics & Concepts

Computer scienceFormal Methods in VerificationReal-Time Systems SchedulingEmbedded Systems Design Techniques