A practical approach to formal design of real-time systems

التفاصيل البيبلوغرافية
العنوان: A practical approach to formal design of real-time systems
المؤلفون: Baresi, L., Braberman, V., Felder, M., Pezze, M., Piezianek, F.
المصدر: 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929) Systems, man and cybernetics Systems, Man, and Cybernetics, 1996., IEEE International Conference on. 2:1014-1019 vol.2 1996
Relation: Proceedings of IEEE International Conference on Systems, Man and Cybernetics
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:0780332806
9780780332805
تدمد:1062922X
DOI:10.1109/ICSMC.1996.571219