Visual specification of spatio-temporal developments

被引：0
|
作者：
Erwig, Martin [1 ]
Schneider, Markus [1 ]
机构：
[1] Fern Universitaet Hagen, Hagen, Germany
来源：
IEEE Symposium on Visual Languages, Proceedings | 1999年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：187 / 188
相关论文
共 50 条
  • [1] Spatio-temporal specification of olfactory bulb interneurons
    Serena Bovetti
    Paolo Peretto
    Aldo Fasolo
    Silvia De Marchis
    Journal of Molecular Histology, 2007, 38 : 563 - 569
  • [2] Spatio-temporal specification of olfactory bulb interneurons
    Bovetti, Serena
    Peretto, Paolo
    Fasolo, Aldo
    De Marchis, Silvia
    JOURNAL OF MOLECULAR HISTOLOGY, 2007, 38 (06) : 563 - 569
  • [3] Runtime Verification of Spatio-Temporal Specification Language
    Tengfei Li
    Jing Liu
    Haiying Sun
    Xiaohong Chen
    Ling Yin
    Xia Mao
    Junfeng Sun
    Mobile Networks and Applications, 2021, 26 : 2392 - 2406
  • [4] Runtime Verification of Spatio-Temporal Specification Language
    Li, Tengfei
    Liu, Jing
    Sun, Haiying
    Chen, Xiaohong
    Yin, Ling
    Mao, Xia
    Sun, Junfeng
    MOBILE NETWORKS & APPLICATIONS, 2021, 26 (06): : 2392 - 2406
  • [5] SPATIO-TEMPORAL INTERACTION IN VISUAL RESOLUTION
    RASHBASS, C
    JOURNAL OF PHYSIOLOGY-LONDON, 1968, 196 (02): : P102 - &
  • [6] Visual representation of spatio-temporal structure
    Schill, K
    Zetzsche, C
    Brauer, W
    Eisenkolb, A
    Musto, A
    HUMAN VISION AND ELECTRONIC IMAGING III, 1998, 3299 : 128 - 138
  • [7] Visual languages for spatio-temporal applications
    Laurini, R
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 247 - 247
  • [8] SPATIO-TEMPORAL VISUAL RECEPTIVE-FIELDS AS REVEALED BY SPATIO-TEMPORAL RANDOM NOISE
    HIDA, E
    NAKA, K
    ZEITSCHRIFT FUR NATURFORSCHUNG C-A JOURNAL OF BIOSCIENCES, 1982, 37 (10): : 1048 - 1049
  • [9] A spatio-temporal specification language and its completeness & decidability
    Li, Tengfei
    Liu, Jing
    Sun, Haiying
    Chen, Xiang
    Zhang, Lipeng
    Sun, Junfeng
    JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS, 2020, 9 (01):
  • [10] A spatio-temporal logic for the specification and refinement of mobile systems
    Merz, S
    Wirsing, M
    Zappe, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 87 - 101
12345