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: | https://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ự
-
Advances in Material Forming
Bỡi: Chinesta, Francisco, et al.
Được phát hành: (2020) -
Formation Control
Bỡi: Ahn, Hyo-Sung
Được phát hành: (2020) -
Abstract concept formation in archaic Chinese script forms : Some humboldtian perspectives /
Bỡi: Kwan, Tze-wan. -
Advances in Metal Forming:
Expert System for Metal Forming
Bỡi: Hingole, Rahulkumar Shivajirao
Được phát hành: (2016) -
Form-Oriented Analysis
Được phát hành: (2020)