• Article metrics
  • Last updated: Wed, 21 Apr 2021 21:12:20 Z

autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications

Access & Citations

Citation counts are provided from Web of Science and CrossRef. The counts may vary by service, and are reliant on the availability of their data. Counts will update daily once available.