Showing
1 - 1
results of
1
Skip to content
Catalog K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
ISBN/ISSN
Find
Advanced Search
Author
Zhao, Hengjun
Showing
1 - 1
results of
1
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Loading…
Formal verification of Simulink/Stateflow diagrams : a deductive approach
by
Zhan, Naijun
,
Wang, Shuling
,
Zhao, Hengjun
Year of Publication
2016
Call Number
Loading…
Full text
Electronic
eBook
Save to List
Saved in:
RSS Feed
Email Search
Search History
Related Subjects
Computer software
Verification
