Forms/Format 2010
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to mo...
Đã lưu trong:
Những tác giả chính: | Schnieder, Ekehard, Tarnai, Geza |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Được phát hành: |
Springer
2012
|
Những chủ đề: | |
Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/30110 |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Những quyển sách tương tự
-
Abstract concept formation in archaic Chinese script forms : Some humboldtian perspectives /
Bỡi: Kwan, Tze-wan. -
Formation Control
Bỡi: Ahn, Hyo-Sung
Được phát hành: (2020) -
Advances in Material Forming
Bỡi: Chinesta, Francisco, et al.
Được phát hành: (2020) -
Advances in Metal Forming:
Expert System for Metal Forming
Bỡi: Hingole, Rahulkumar Shivajirao
Được phát hành: (2016) -
Hydrocarbons in Basement Formations
Bỡi: Islam
Được phát hành: (2020)