2 Results for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Efficient verification of railway infrastructure designs against standard regulationsFormal methods in system design, 2018-02, Vol.52 (1), p.1-32 [Peer Reviewed Journal]The Author(s) 2017 ;info:eu-repo/semantics/openAccess ;ISSN: 0925-9856 ;EISSN: 1572-8102 ;DOI: 10.1007/s10703-017-0281-zDigital Resources/Online E-Resources |
| 2 |
Material Type: Article
|
|
SAT modulo discrete event simulation applied to railway design capacity analysisFormal methods in system design, 2021, Vol.57 (2), p.211-245 [Peer Reviewed Journal]The Author(s) 2021 ;info:eu-repo/semantics/openAccess ;ISSN: 0925-9856 ;ISSN: 1572-8102 ;EISSN: 1572-8102 ;DOI: 10.1007/s10703-021-00368-2Digital Resources/Online E-Resources |
Personalize your results
Refine Search Results
Expand My Results
Subject
- Capacity Analysis (1)
- Cad (1)
- Automation (1)
- Bioinformatics (1)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||