Specifying real-time systems with interval logic (SuDoc NAS 1.26:181804)
Book Details
Author(s)John Rushby
PublisherNational Aeronautics and Space Administration, Langley Research Center National Technical Informatio
ISBN / ASINB00010NQLE
ISBN-13978B00010NQL9
MarketplaceGermany 🇩🇪
