Formal description of network management issues

被引：0
|
作者：
Bochmann, G.
Mondain-Monval, P.
机构：
来源：
Proceedings of the IFIP TC6/WG6.6 International Symposium on Integrated Network Management | 1991年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Issues and trends in network backup and storage management
    Comput Technol Rev, 5 (24):
  • [22] A Formal Description of the ITIL Change Management Process Using Abstract State Machines
    Kubovy, Jan
    Geist, Verena
    Kossak, Felix
    2012 23RD INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), 2012, : 65 - 69
  • [23] Enhancements in formal process description by using a formal method
    Xin, Cheng
    Grunau, Lukas
    Thron, Mario
    Riedl, Matthias
    AT-AUTOMATISIERUNGSTECHNIK, 2023, 71 (03) : 198 - 208
  • [24] Formal description of disease courses
    van der Maas, AAF
    ter Hofstede, AHM
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 2000, 18 (01) : 29 - 55
  • [25] TOWARDS A FORMAL THEORY OF DESCRIPTION
    TCHON, K
    WOJCIECHOWSKA, J
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1981, 6 (04) : 217 - 224
  • [26] Integrating formal description techniques
    Schätz, B
    Huber, F
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1206 - 1225
  • [27] Formal description of multimedia presentations
    Li, ML
    Sun, YQ
    Sheng, HY
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN AND COMPUTER GRAPHICS, 1996, 2644 : 732 - 737
  • [28] Trends in formal description techniques
    Gotzhein, R
    Bredereke, J
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (9-10): : 863 - 864
  • [29] ELEMENTS FOR THE FORMAL DESCRIPTION OF SYSTEMS
    BOUTE, RT
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 63 - 90
  • [30] Formal description of hybrid systems
    Chaochen, Z.
    Ji, W.
    Ravn, A.P.
    Lecture Notes in Computer Science, 1996, 1066
12345