dblp.uni-trier.dewww.uni-trier.de

Myung Jun Song

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
2EEMyung Jun Song, Seo Ryong Koo, Poong-Hyun Seong: Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. HASE 2004: 285-286
1 Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong: Verification method for the FBD-style design specification using SDT and SMV. IASTED Conf. on Software Engineering 2004: 206-211

Coauthor Index

1Seo Ryong Koo [1] [2]
2Poong-Hyun Seong [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)