Specifying real-time systems with interval logic

By John Rushby

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1988

Publisher

National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor

Language

eng

Pages

Description:

subjects: Logic design, Distributed processing, Real time operation, Specifications, Protocol (Computers), Proving, Computer systems performance