Site Details:  www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
Site Title in Open DirectoryTemporal Logic Case Study
Snapshot (if available)Go to: Temporal Logic Case Study at www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
Site Description in Open Directory A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.
Site CategorySite Category Science: Math: Logic_and_Foundations: Nonstandard_Logics_and_Extensions: Temporal_Logic
Name:
Comment:
Domain Details: www.sei.cmu.edu
Info for site: Temporal Logic Case StudySite Details:www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html  Details for: www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
Info for site: Temporal Logic Case StudySite Details: www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html  Details for: www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
Info for site: Temporal Logic Case StudySite Details:www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html  Details for:` .$url.`
Google
  Web www.sei.cmu.edu

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Directory listings are provided by Open Directory and modified by temporal-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work

Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 temporal-logic.nonstandard-logics-and-extensions.logic-and-foundations.math.sciencenter.work

Free thumbnail preview by Thumbshots.org