Analysis of the formal specification application for train control systems /

Κώδικας QR

Analysis of the formal specification application for train control systems /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Jo, Hyun-Jeong.
Άλλοι συγγραφείς:	Hwang, Jong-Gyu., Yoon, Yong-Ki.
Μορφή:	Άρθρο
Γλώσσα:	English
Θέματα:	Formal specification Statechart Train control system Zed
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Παρόμοια τεκμήρια

On formalizing and normalizing role-based access control systems /
ανά: Power, David.

Formal Methods: Foundations and Applications
ανά: Davies, Jim, κ.ά.
Έκδοση: (2015)

Formalization and theoretical analysis of the local effect model /
ανά: Beuve, M.

Dissipative Systems Analysis and Control
ανά: Brogliato, Bernard, κ.ά.
Έκδοση: (2020)

Dissipative Systems Analysis and Control
ανά: Brogliato, Bernard, κ.ά.
Έκδοση: (2020)

Specific Intermolecular Interactions of Element-Organic Compounds
ανά: Baev, Alexei K.
Έκδοση: (2015)

Formal Concept Analysis
ανά: Ganter, Bernhard, κ.ά.
Έκδοση: (2020)

Manual on the use of Fao specifications for plant protection products
Έκδοση: (1970)

Analysis and control of linear systems
Έκδοση: (2007)

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

Formal Concept Analysis
ανά: Medina, Raoul, κ.ά.
Έκδοση: (2020)

Formal Concept Analysis
ανά: Kuznetsov, Sergei O., κ.ά.
Έκδοση: (2020)

Formal Concept Analysis
Έκδοση: (2020)

Compendium of food additive specifications: Addendum 13 :
Έκδοση: (2005)

Formal Methods for Discrete-Time Dynamical Systems
ανά: Belta, Calin, κ.ά.
Έκδοση: (2020)

A study on an assessment method for improving technical specifications using system dynamics /
ανά: Kang, Kyung Min.

Fuzzy control systems design and analysis :
ανά: Tanaka, Kazuo
Έκδοση: (2001)

Finiteness and regularity in semigroups and formal languages /
ανά: De Luca, A.
Έκδοση: (1999)

Linear control system analysis and design with MATLAB
ανά: Houpis, Constantine H.

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 /
Έκδοση: (2001)

Analysis and Design of Nonlinear Control Systems
ανά: Astolfi, Alessandro, κ.ά.
Έκδοση: (2020)

Specification for Welding Procedure and Performance Qualification
Έκδοση: (2008)

Building and Securing a Netwwork System for a Local Training Academy
ανά: Dang, Nhat Hien
Έκδοση: (2023)

Biology, host specificity tests, and risk assessment of the sawfly Heteroperreyia hubrichi, a potential biological control agent of Schinus terebinthifolius in Hawaii /

Stabilizing and Optimizing Control for Time-Delay Systems
ανά: Kwon, Wook Hyun, κ.ά.
Έκδοση: (2019)

Formal Methods in Software and Systems Modeling
Έκδοση: (2020)

An introduction to formal languages and machine computation /
ανά: Yan, Song Y.
Έκδοση: (1998)

Identification and characterization of lactobacillus helveticus pepo2, an endopeptidase with post-proline specificity /

An Introduction to Formal Languages and Automata (Photo) /
ανά: Linz Peter
Έκδοση: (1990)

LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzy Systems with Time Delay
ανά: Lin, Chong, κ.ά.
Έκδοση: (2020)

Alteration of chain length substrate specificity of aeromonas caviae R-enantiomer-specific enoyl-coenzyme a hydratase through site-directed mutagenesis /

Enhanced workout training application: Pose detection and training plan customization
ανά: Hoang, Long, κ.ά.
Έκδοση: (2024)

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
ανά: Mellodge, Patricia, κ.ά.
Έκδοση: (2020)

Analysis and Control of Complex Dynamical Systems: Robust Bifurcation, Dynamic Attractors, and Network Complexity
ανά: Aihara, Kazuyuki, κ.ά.
Έκδοση: (2016)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
ανά: Li, Shihua, κ.ά.
Έκδοση: (2020)

Combined compendium of food additive specifications:
Έκδοση: (2006)

Introduction to Control Systems Analysis /
ανά: Ogata Katsuhiko
Έκδοση: (1988)

Modern control systems /
ανά: Dorf, Richard C. 1933-
Έκδοση: (1998)

Control Synthesis of Switched Systems
ανά: Zhao, Xudong, κ.ά.
Έκδοση: (2020)

Modeling ODP computational specifications using UML /
ανά: Romero, Jose Raul.