Analysis of the formal specification application for train control systems /

Mã QR

Analysis of the formal specification application for train control systems /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Jo, Hyun-Jeong.
Tác giả khác:	Hwang, Jong-Gyu., Yoon, Yong-Ki.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Formal specification Statechart Train control system Zed
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ự

On formalizing and normalizing role-based access control systems /
Bỡi: Power, David.

Formal Methods: Foundations and Applications
Bỡi: Davies, Jim, et al.
Được phát hành: (2015)

Formalization and theoretical analysis of the local effect model /
Bỡi: Beuve, M.

Formal Concept Analysis
Bỡi: Ganter, Bernhard, et al.
Được phát hành: (2020)

Dissipative Systems Analysis and Control
Bỡi: Brogliato, Bernard, et al.
Được phát hành: (2020)

Dissipative Systems Analysis and Control
Bỡi: Brogliato, Bernard, et al.
Được phát hành: (2020)

Formal analysis of hybrid prefix/carry-select arithmetic systems /

Formal Concept Analysis
Bỡi: Medina, Raoul, et al.
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Kuznetsov, Sergei O., et al.
Được phát hành: (2020)

Formal Concept Analysis
Được phát hành: (2020)

Analysis and control of linear systems
Được phát hành: (2007)

Finiteness and regularity in semigroups and formal languages /
Bỡi: De Luca, A.
Được phát hành: (1999)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

Formal Methods for Discrete-Time Dynamical Systems
Bỡi: Belta, Calin, et al.
Được phát hành: (2020)

Fuzzy control systems design and analysis :
Bỡi: Tanaka, Kazuo
Được phát hành: (2001)

Linear control system analysis and design with MATLAB
Bỡi: Houpis, Constantine H.

Analysis and Design of Nonlinear Control Systems
Bỡi: Astolfi, Alessandro, et al.
Được phát hành: (2020)

Stabilizing and Optimizing Control for Time-Delay Systems
Bỡi: Kwon, Wook Hyun, et al.
Được phát hành: (2019)

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Training Secrets
Bỡi: Geoffrey Moss
Được phát hành: (2006)

Training Secrets
Bỡi: Geoffrey Moss
Được phát hành: (2006)

LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzy Systems with Time Delay
Bỡi: Lin, Chong, et al.
Được phát hành: (2020)

Teaching Formal Methods
Được phát hành: (2020)

Analysis and Control of Complex Dynamical Systems: Robust Bifurcation, Dynamic Attractors, and Network Complexity
Bỡi: Aihara, Kazuyuki, et al.
Được phát hành: (2016)

Introduction to Control Systems Analysis /
Bỡi: Ogata Katsuhiko
Được phát hành: (1988)

Convergence of formal morphisms of completions of complex spaces /
Bỡi: Izumi, Shuzo.

Formal Specification Level Concepts, Methods, and Algorithms
Bỡi: Soeken, Mathias, et al.
Được phát hành: (2015)

A distribution automation system simulator for training and research /
Bỡi: Gupta, R. P.

A study on an assessment method for improving technical specifications using system dynamics /
Bỡi: Kang, Kyung Min.

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
Bỡi: Mellodge, Patricia, et al.
Được phát hành: (2020)

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
Bỡi: Li, Shihua, et al.
Được phát hành: (2020)

Formal Grammar
Bỡi: Foret, Annie, et al.
Được phát hành: (2020)

Control Synthesis of Switched Systems
Bỡi: Zhao, Xudong, et al.
Được phát hành: (2020)

Digital control system analysis & design
Bỡi: Phillips, Charles L.
Được phát hành: (2015)

Logics of Specification Languages
Bỡi: Bjørner, Dines, et al.
Được phát hành: (2020)

Robust Control of Linear Descriptor Systems
Bỡi: Feng, Yu, et al.
Được phát hành: (2020)

Feedback Stabilization of Controlled Dynamical Systems
Bỡi: Petit, Nicolas
Được phát hành: (2020)