B

Ben L. Di Vito

3 books found

Books by Ben L. Di Vito
Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change requestBen L. Di Vito
⏱ 1h 26m

Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request

Ben L. Di Vito

199686 pp.
A formal model of partitioning for integrated modular avionicsBen L. Di Vito

A formal model of partitioning for integrated modular avionics

Ben L. Di Vito

1998No page data
Formal design and verification of a reliable computing platform for real-time controlBen L. Di Vito

Formal design and verification of a reliable computing platform for real-time control

Ben L. Di Vito

1990No page data