Showing results 3 to 4 of 4
QoS protocol verification using Petri-Net for seamless mobility in a ubiquitous environment: A case study Lee, Dalju; Baik, Jongmoon, 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008, pp.617 - 622, IEEE, 2008-08-06 |
Software reliability assurance using a framework in weapon system development: A case study Lee, Dalju; Baik, Jongmoon; Shin, Ju-Hwan, 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, pp.989 - 995, IEEE, 2009-06-01 |
Discover