Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Embedded software system testing : automatic testing solution based on formal method
Embedded software system testing : automatic testing solution based on formal method
Author 
Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003390923
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Functional safety for embedded systems
Functional safety for embedded systems
Author 
Xie, Guoqi, 1983- author. Zhang, Yawen, author. Li, Renfa, author. Li, Kenli, author. Li, Keqin, 1963- author.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003391517
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Unity in Embedded System Design and Robotics : A Step-by-Step Guide.
Unity in Embedded System Design and Robotics : A Step-by-Step Guide.
Author 
Moshayedi, Ata Jahangir, author. Kolahdooz, Amin, author. Liao, Liefa, author.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003268581
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets