MSL - A MATHEMATICAL SPECIFICATION LANGUAGE

被引：0
|
作者：
MAKAROV, VP
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 620卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：305 / 313
页数：9
相关论文
共 50 条
  • [1] Performability Measure Specification: Combining CSRL and MSL
    Aldini, Alessandro
    Bernardo, Marco
    Sproston, Jeremy
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2011, 6959 : 165 - +
  • [2] MSL - Medicine as a second language
    Sobel, RK
    [J]. NEW ENGLAND JOURNAL OF MEDICINE, 2005, 352 (19): : 1945 - 1946
  • [3] MSL: a Synthesis Enabled Language for Distributed Implementations
    Xu, Zhilei
    Kamil, Shoaib
    Solar-Lezama, Armando
    [J]. SC14: INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, 2014, : 311 - 322
  • [4] Description of model experiments in the MOBILE Script Language (MSL)
    Mugge, H
    Meyer, R
    [J]. 6TH MEETING OF THE WG TOOLS FOR SIMULATION AND MODELLING IN ENVIRONMENTAL APPLICATIONS, 1996, 5829 : 247 - 260
  • [5] The specification language T
    Sunik, B
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (05) : 28 - 38
  • [6] Mathematical specification of hitomezashi designs
    Seaton, Katherine A.
    Hayes, Carol
    [J]. JOURNAL OF MATHEMATICS AND THE ARTS, 2023, 17 (1-2) : 156 - 177
  • [7] On the specification of our language
    Polatajko, HJ
    [J]. OTJR-OCCUPATION PARTICIPATION AND HEALTH, 2005, 25 (02) : 43 - 43
  • [8] THE SPECIFICATION LANGUAGE GSBL
    CLERICI, S
    OREJAS, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 31 - 51
  • [9] Paradigms of language specification
    Popa, Emil Marin
    Cacovean, Laura Florentina
    [J]. 5th RoEduNet IEEE International Conference, Proceedings, 2006, : 275 - 276
  • [10] THE SPECIFICATION LANGUAGE OF OBSCURE
    LEHMANN, T
    LOECKX, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 131 - 153
12345