Raymond J. Richards

According to our database, Raymond J. Richards authored at least 2 papers in 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Formal Verification of Partition Management for the AAMP7G Microprocessor.

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

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel.

Raymond J. Richards

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010