Work

Formal Verification of Partition Management for the AAMP7G Microprocessor

Year: 2010

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-1-4419-1539-9_6

Authors: Matthew M. Wilding, David A. Greve, Raymond J. Richards, David S. Hardin

Institution: Rockwell Collins (United States)

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W6904734

FWCI: 5.653

Cites: 18

Cited by: 37

Related to: 10