Building Certified Concurrent OS Kernels

Sep-30-2019, 22:33:08 GMT–Communications of the ACM

In International Conference on Computer Aided Verification (2015), Springer 449–465.

cpu, kernel, specification, (16 more...)

Communications of the ACM

Sep-30-2019, 22:33:08 GMT

Journals Web Page

Country:
- Oceania > Australia
  - New South Wales (0.04)
- North America > United States
  - New York > New York County
    - New York City (0.04)
  - Massachusetts > Middlesex County
    - Cambridge (0.04)
  - Connecticut > New Haven County
    - New Haven (0.05)
- Asia > Japan
  - Honshū > Kantō > Tokyo Metropolis Prefecture > Tokyo (0.14)

Technology:
- Information Technology
  - Artificial Intelligence (1.00)
  - Software > Programming Languages (0.69)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found