Building a real-time kernel: first steps in validating a pure process/Adt model

• Authors:

• H. Rebecca Callison;Alan C. Shaw

• Affiliations:

• -;-

• Venue:
• Software—Practice & Experience
• Year:
• 1991