Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer International Publishing

9783319577074, 9783319577081

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Visual Modeling Language for MSVL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_13 ◽

2017 ◽

pp. 220-237 ◽

Author(s):

Xinfeng Shu ◽

Chao Li ◽

Chang Liu

Keyword(s):

Modeling Language ◽

Visual Modeling

Download Full-text

Orchestration Combinators in Apla+ Language

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_1 ◽

2017 ◽

pp. 3-14

Author(s):

Zhen You ◽

Jinyun Xue

Download Full-text

A Case Study of a GUI-Aided Approach to Constructing Formal Specifications

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_5 ◽

2017 ◽

pp. 74-84 ◽

Author(s):

Fumiko Nagoya ◽

Shaoying Liu

Keyword(s):

Formal Specifications

Download Full-text

Model Checking of a Mobile Robots Perpetual Exploration Algorithm

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_12 ◽

2017 ◽

pp. 201-219 ◽

Author(s):

Ha Thi Thu Doan ◽

François Bonnet ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Download Full-text

E-SSL: An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_7 ◽

2017 ◽

pp. 101-120

Author(s):

Ren Zhao ◽

Xiaohong Li ◽

Guangquan Xu ◽

Zhiyong Feng ◽

Jianye Hao

Keyword(s):

Mobile Internet

Download Full-text

Instant-Based and State-Based Analysis of Infinite Logical Clock

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_3 ◽

2017 ◽

pp. 32-51

Author(s):

Qingguo Xu ◽

Huaikou Miao ◽

Robert de Simone ◽

Julien DeAntoni

Download Full-text

Runtime Verification Monitor Construction for Three-valued PPTL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_9 ◽

2017 ◽

pp. 144-159 ◽

Author(s):

Xiaobing Wang ◽

Dongmiao Liu ◽

Liang Zhao ◽

Yina Xue

Keyword(s):

Runtime Verification

Download Full-text

A Proof System for MSVL Programs in Coq

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_8 ◽

2017 ◽

pp. 121-143

Author(s):

Lin Qian ◽

Zhenhua Duan ◽

Nan Zhang ◽

Cong Tian

Keyword(s):

Download Full-text

Automated Safety Analysis on Scenario-Based Requirements for Train Control System

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_4 ◽

2017 ◽

pp. 55-73

Author(s):

Xi Wang ◽

Huaikou Miao ◽

Weikai Miao

Keyword(s):

Control System ◽

Safety Analysis ◽

Train Control ◽

Train Control System

Download Full-text

On Termination and Boundedness of Nested Updatable Timed Automata

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57708-1_2 ◽

2017 ◽

pp. 15-31

Author(s):

Yuwei Wang ◽

Xiuting Tao ◽

Guoqiang Li

Keyword(s):

Download Full-text