Normal view MARC view ISBD view

Programming and Verifying Real-Time Systems by Means OfSysnchronous Data-Flow Language Lustre

Halbwachs, Nicolas Lagnier, Fabienne Ratel, Christophe

Programming and Verifying Real-Time Systems by Means OfSysnchronous Data-Flow Language Lustre - 785-793 p.

Subjects--Topical Terms:
Formal Verification
Model Checking
Synchronous Motor

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)