A tool for a formal pattern modeling language

被引：0
|
作者：
Kim, Soon-Kyeong [1 ]
Carrington, David [1 ]
机构：
[1] School of Information Technology and Electrical Engineering, University of Queensland, 4072, Australia
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2006年 / 4260 LNCS卷
关键词：
D O I：
10.1007/11901433_31
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：568 / 587
相关论文
共 50 条
  • [31] Xprova: Formal Verification Tool with Built-in Metastability Modeling
    Tarawneh, Ghaith
    Mokhov, Andrey
    2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 74 - 79
  • [32] C-language verification tool using formal methods "VARVEL"
    Tokuoka, Hiroki
    Miyazaki, Yoshiaki
    Hashimoto, Yuusuke
    NEC TECHNICAL JOURNAL, 2007, 2 (02): : 34 - 37
  • [33] A fractal-based image processing language: formal modeling
    Bourbakis, NG
    Alexopoulos, C
    PATTERN RECOGNITION, 1999, 32 (02) : 317 - 338
  • [34] M2FOL: A Formal Modeling Language for Metamodels
    Doeller, Victoria
    PRACTICE OF ENTERPRISE MODELING, POEM 2020, 2020, 400 : 109 - 123
  • [35] The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems
    Hahn, Christian
    Fischer, Klaus
    AGENT-ORIENTED SOFTWARE ENGINEERING IX, 2009, 5386 : 145 - 158
  • [36] The three dimensions of a formal modeling of the language: syntagmatic, paradigmatic and semiotic
    Kahane, Sylvain
    TRAITEMENT AUTOMATIQUE DES LANGUES, 2015, 56 (01): : 39 - 63
  • [37] A graphical tool for formal verification using Event-B modeling
    Karmakar, Rahul
    MULTIMEDIA TOOLS AND APPLICATIONS, 2024, 83 (04) : 10899 - 10923
  • [38] A graphical tool for formal verification using Event-B modeling
    Rahul Karmakar
    Multimedia Tools and Applications, 2024, 83 : 10899 - 10923
  • [39] NQSL - Formal language and tool support for network Quality-of-Service requirements
    Webel, Christian
    Gotzhein, Reinhard
    Nicolay, Joachim
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 218 - 233
  • [40] Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language
    Szpyrka, Marcin
    Nalepa, Grzegorz J.
    Ligeza, Antoni
    Kluza, Krzysztof
    INTELLIGENT DISTRIBUTED COMPUTING V, 2011, 382 : 249 - 255
12345