Trends in formal description techniques

被引：0
|
作者：
Gotzhein, R [1 ]
Bredereke, J [1 ]
机构：
[1] Univ Kaiserslautern, Fachbereich Informat, D-67653 Kaiserslautern, Germany
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1998年 / 30卷 / 9-10期
关键词：
D O I：
10.1016/S0169-7552(97)00131-1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
下载
收藏
页码：863 / 864
页数：2
相关论文
共 50 条
  • [21] SPECIFICATIONS OF A SIMPLIFIED TRANSPORT PROTOCOL USING DIFFERENT FORMAL DESCRIPTION TECHNIQUES
    BOCHMANN, GV
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 18 (05): : 335 - 377
  • [22] A formal description of multimodal interaction techniques for immersive virtual reality applications
    Navarre, D
    Palanque, P
    Bastide, R
    Schyn, A
    Winckler, M
    Nedel, LP
    Freitas, CMDS
    HUMAN-COMPUTER INTERACTION - INTERACT 2005, PROCEEDINGS, 2005, 3585 : 170 - 183
  • [23] Trends in formal verification techniques for C-based hardware designs
    Fujita, Masahiro
    IPSJ Transactions on System LSI Design Methodology, 2009, 2 : 2 - 17
  • [24] FORMAL DESCRIPTION TECHNIQUES - COMMUNICATION TOOLS FOR DATA COMMUNICATION SPECIALISTS - FORMAL SPECIFICATION AND IMPLEMENTATION OF A FILE TRANSFER PROTOCOL
    THOOFT, G
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (2-5): : 311 - 321
  • [25] On the application of formal description techniques to the design of interception systems for GSM mobile terminals
    Fernández-Iglesias, MJ
    González-Castaño, FJ
    Llamas-Nistal, M
    Pousada-Carballo, JM
    Vales-Alonso, J
    JOURNAL OF SYSTEMS AND SOFTWARE, 2002, 60 (01) : 51 - 58
  • [26] EXPERIENCE IN USING FORMAL DESCRIPTION TECHNIQUES (FDT) FOR SWITCHING SOFTWARE-DESIGN
    DINSENMEYER, I
    LOUVET, O
    GROZ, R
    ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1987, 42 (7-8): : 448 - 460
  • [27] Improving interactive systems usability using formal description techniques: Application to HealthCare
    Palanque, Philippe
    Basnyat, Sandra
    Navarre, David
    HCI AND USABILITY FOR MEDICINE AND HEALTH CARE, PROCEEDINGS, 2007, 4799 : 21 - 40
  • [28] FORMAL DESCRIPTION TECHNIQUES AT WORK - AN ISDN Q.931 IMPLEMENTATION USING LOTOS
    AZCORRA, A
    VAZQUEZ, E
    ALVAREZCAMPANA, M
    VINYES, J
    PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 175 - 189
  • [29] Self-Checking Components for Dependable Interactive Cockpits using Formal Description Techniques
    Tankeu-Choitat, A.
    Navarre, D.
    Palanque, P.
    Deleris, Y.
    Fabre, J-C
    Fayollas, C.
    2011 IEEE 17TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2011, : 164 - 173
  • [30] Formal description techniques and software engineering: Some reflections after 2 decades of research
    Quemada, J
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS, 2004, 3235 : 33 - 42
12345