Amanote Research
Register
Sign In
Modelling and Design of the Formal Approach for Generating Test Sequences of ETCS Level 2 Based on the CPN
doi 10.2495/cr100661
Full Text
Open PDF
Abstract
Available in
full text
Date
August 4, 2010
Authors
X. Zhao
Y. Zhang
W. Zheng
T. Tang
R. Mu
Publisher
WIT Press
Related search
Research of the Formal Model and Simulation Based on CPN of Dynamic Fault Tree
International Journal of Engineering and Technology
Generating Test Sequences to Assess the Performance of Elastic Cloud-Based Systems
A CPN-based Software Testing Approach
Journal of Software
Design of System on Chip for Generating SYN Flood Attack to Test the Performance of the Security System
International Journal of Computer Applications
A Knowledge-Based Approach for Design and Modelling of High Lift Actuation Systems
Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering
Mechanical Engineering
Aerospace Engineering
A Framework Based Approach for Formal Modeling and Analysis of Multi-Level Attacks in Computer Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient Algorithm for Generating Assembly Sequences in Modification Design.
Seimitsu Kogaku Kaishi/Journal of the Japan Society for Precision Engineering
Mechanical Engineering
Test Selection for Object-Oriented Software Based on Formal Specifications
The Qualification Test Design of Reliability Based on EDM
