[IEEE Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Koblenz, Germany (2005.09.7-2005.09.9)] Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - BRILLANT: an open source and XML-based platform for rigourous software development
- 作者Colin, S.; Petit, D.; Rocheteau, J.; Marcano, R.; Mariano, G.; Poirriez, V.
- 文件大小324.98KB
- 发表时间2005
- DOI10.1109/sefm.2005.10
- 页码373-382
[IEEE ICPWC 2002 - IEEE International Conference on Personal Wireless Communications - New Delhi, India (15-17 Dec. 2002)] 2002 IEEE International Conference on Personal Wireless Communications - A doctor on World Wide Web: a biomedical wireless Internet applicationKulkarni, V.B. · 2002
[IEEE ICPWC 2002 - IEEE International Conference on Personal Wireless Communications - New Delhi, India (15-17 Dec. 2002)] 2002 IEEE International Conference on Personal Wireless Communications - A simulation study of multi-hop wireless networkChaplot, A. · 2002
[IEEE ICPWC 2002 - IEEE International Conference on Personal Wireless Communications - New Delhi, India (15-17 Dec. 2002)] 2002 IEEE International Conference on Personal Wireless Communications - EDGE: a technology assessmentYallapragada, R.; Kripalani, V.; Kripalani, A. · 2002
[IEEE 1997 IEEE International Conference on Personal Wireless Communications Conference Proceedings - Mumbai, India (17-19 Dec. 1997)] 1997 IEEE International Conference on Personal Wireless Communications (Cat. No.97TH8338) - A simulation of a mobile trafficCvetkovski, B.; Gavrilovska, L. · 1997
[IEEE 1992 IEEE International Conference on Selected Topics in Wireless Communications - Vancouver, BC, Canada (25-26 June 1992)] 1992 IEEE International Conference on Selected Topics in Wireless Communications - Networking requirements in a wireless systemCarpintero, C.; Paradells, J.; Casares, V. · 1992
[IEEE 1997 IEEE International Conference on Personal Wireless Communications Conference Proceedings - Mumbai, India (17-19 Dec. 1997)] 1997 IEEE International Conference on Personal Wireless Communications (Cat. No.97TH8338) - Preserving privacy in mobile communications: a hybrid methodVaradharajan, V.; Yi Mu, · 1997
[IEEE ICPWC 2002 - IEEE International Conference on Personal Wireless Communications - New Delhi, India (15-17 Dec. 2002)] 2002 IEEE International Conference on Personal Wireless Communications - A computationally efficient algorithm for code decision, in CCK based high data rate wireless communicationsBatabyal, S.; Sarmah, S.J. · 2002
[IEEE IEEE/ACES International Conference on Wireless Communications and Applied Computational Electromagnetics, 2005. - Honolulu, HI (3-7 April, 2005)] IEEE/ACES International Conference on Wireless Communications and Applied Computational Electromagnetics, 2005. - A Transmit Antenna Selection Diversity Scheme for Wireless CommunicationsJiaen Li, ; Myoung Seob Lim, · 2005
[IEEE Millennium Seminar on Broadband Communications - Zurich, Switzerland (15-17 Feb. 2000)] 2000 International Zurich Seminar on Broadband Communications. Accessing, Transmission, Networking. Proceedings (Cat. No.00TH8475) - Influence of biased sampling on mobile communication systemsJugl, E.; Boche, H. · 2000
[IEEE 1999 IEEE International Conference on Communications - Vancouver, BC, Canada (6-10 June 1999)] 1999 IEEE International Conference on Communications (Cat. No. 99CH36311) - A new mobility model for performance evaluation of future mobile communication systemsJugl, E.; Boche, H. · 1999
[IEEE Gateway to 21st Century Communications Village. VTC 1999-Fall. IEEE VTS 50th Vehicular Technology Conference - Amsterdam, Netherlands (19-22 Sept. 1999)] Gateway to 21st Century Communications Village. VTC 1999-Fall. IEEE VTS 50th Vehicular Technology Conference (Cat. No.99CH36324) - Dwell time models for wireless communication systemsJugl, E.; Boche, H. · 1999