Normal view MARC view ISBD view

Formal Modeling & Safety Analysis for Embedded Real-Time Software/

Hossam Yehia Moawid Ahmed

Formal Modeling & Safety Analysis for Embedded Real-Time Software/ Hossam Yehia Moawid Ahmed - 2014 - p. ill. 21 cm.

Supervisor: Mahmoud Allam

Thesis (M.A.)—Nile University, Egypt, 2014 .

"Includes bibliographical references"

Contents:

Abstract:

Text in English, abstracts in English.

Subjects--Topical Terms:
Software Engineering

Index Terms--Genre/Form:
Dissertation, Academic

Dewey Class. No.: 627

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)