Normal view MARC view ISBD view

Analysis of Real-Time Rule-Based Systems with Boehavioral Constraint Assertions Specified in Estelia

Cheng, Albert Mo Browne, James C. Mok, Aloysius K.

Analysis of Real-Time Rule-Based Systems with Boehavioral Constraint Assertions Specified in Estelia - 863-885 p.

Subjects--Topical Terms:
Estelia
Specification
Verification

Print
Request article
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)