✦ LIBER ✦

Verification and conformance test generation of communication protocol for railway signaling systems

✍ Scribed by Jae-Dong Lee; Jae-Il Jung; Jae-Ho Lee; Jong-Gyu Hwang; Jin-Ho Hwang; Sung-Un Kim

Book ID: 113558032
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 501 KB
Volume: 29
Category: Article
ISSN: 0920-5489
DOI: 10.1016/j.csi.2006.03.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Development of formal models and conform

Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols

✍ N. V. Pakulin; A. V. Khoroshilov 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 207 KB

[IEEE 2011 International Conference on T

[IEEE 2011 International Conference on Transportation and Mechanical & Electrical Engineering (TMEE) - ChangChun, China (2011.12.16-2011.12.18)] Proceedings 2011 International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE) - Research on conformance testing for the safety communication protocol of high-speed railway control system based on TTCN-3

✍ Yan Liang, ; Bobo Zhao, ; Chunhai Gao, ; Jingwei Sun, 📂 Article 📅 2011 🏛 IEEE ⚖ 328 KB

[IEEE 4th International Workshop on Micr

[IEEE 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Austin, TX, USA (29-30 May 2003)] Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Definition of a systematic method for the generation of software test programs allowing the functional verification of system on chip (SoC)

✍ Hunsinger, F.; Francois, S.; Jerraya, A.A. 📂 Article 📅 2003 🏛 IEEE ⚖ 237 KB

[IEEE 2008 International Symposium on Po

[IEEE 2008 International Symposium on Power Electronics, Electrical Drives, Automation and Motion (SPEEDAM) - Ischia, Italy (2008.06.11-2008.06.13)] 2008 International Symposium on Power Electronics, Electrical Drives, Automation and Motion - Verification tests of electric double-layer capacitors for static energy storage system in DC electrified railway

✍ Morita, G.; Konishi, T.; Hase, S.; Nakamichi, Y.; Nara, H.; Uemura, T. 📂 Article 📅 2008 🏛 IEEE ⚖ 780 KB

[IEEE Computer Soc 18th International Co

[IEEE Computer Soc 18th International Conference on VLSI Design - Kolkata, India (3-7 Jan. 2005)] 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design - A universal random test generator for functional verification of microprocessors and system-on-chip

✍ Uday Bhaskar, K.; Prasanth, M.; Chandramouli, G.; Kamakoti, V. 📂 Article 📅 2005 🏛 IEEE Computer Soc 🌐 English ⚖ 194 KB

A January 2005 conference fostered interaction between the domains of system architecture, logic and circuit design, and device fabrication. Design automation, embedded systems design, rapid prototyping, and embedded software design were some other themes. Papers from the conference focus on power-a