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

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319312194, 9783319312200

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking Process Scheduling over Multi-core Computer System with MSVL

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

10.1007/978-3-319-31220-0_8 ◽

2016 ◽

pp. 103-117 ◽

Author(s):

Xinfeng Shu ◽

Zhenhua Duan

Keyword(s):

Model Checking ◽

Computer System ◽

Process Scheduling

Download Full-text

The Interchange Format of Tabular Expressions Using XML

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

10.1007/978-3-319-31220-0_3 ◽

2016 ◽

pp. 29-43

Author(s):

Mao Huang ◽

Yihai Chen ◽

Ridha Khedri ◽

Huaikou Miao

Keyword(s):

Tabular Expressions ◽

Interchange Format

Download Full-text

Genericity in PAR Platform

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

10.1007/978-3-319-31220-0_1 ◽

2016 ◽

pp. 3-14 ◽

Author(s):

Jinyun Xue

Download Full-text

Automatic Transformation from SOFL Module Specifications to Program Structures

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

10.1007/978-3-319-31220-0_15 ◽

2016 ◽

pp. 206-218

Author(s):

Xiongwen Luo ◽

Shaoying Liu

Download Full-text

LtlNfBa: Making LTL Translation More Practical

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

10.1007/978-3-319-31220-0_13 ◽

2016 ◽

pp. 179-194 ◽

Author(s):

Cong Tian ◽

Jun Song ◽

Zhenhua Duan ◽

Zhao Duan

Download Full-text

On Reachability Analysis of Updatable Timed Automata with One Updatable Clock

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

10.1007/978-3-319-31220-0_11 ◽

2016 ◽

pp. 147-161 ◽

Author(s):

Yunqing Wen ◽

Guoqiang Li ◽

Shoji Yuen

Keyword(s):

Timed Automata ◽

Reachability Analysis

Download Full-text

Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning

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

10.1007/978-3-319-31220-0_5 ◽

2016 ◽

pp. 59-71 ◽

Author(s):

Yuji Sato ◽

Taku Sugihara

Keyword(s):

Genetic Algorithms ◽

Reinforcement Learning ◽

Automatic Generation ◽

Download Full-text

Research on Formal Development of Non-recursive Algorithms of Graph Search

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

10.1007/978-3-319-31220-0_12 ◽

2016 ◽

pp. 165-178

Author(s):

Qimin Hu ◽

Jinyun Xue ◽

Zhen You

Keyword(s):

Graph Search ◽

Recursive Algorithms ◽

Formal Development

Download Full-text

Modeling and Verification of an Interrupt System in $$\mu $$ μ C/OS-III with TMSVL

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

10.1007/978-3-319-31220-0_2 ◽

2016 ◽

pp. 15-28

Author(s):

Jin Cui ◽

Zhenhua Duan ◽

Cong Tian ◽

Nan Zhang

Download Full-text

Fault Localization of Timed Automata Using Maximum Satisfiability

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

10.1007/978-3-319-31220-0_6 ◽

2016 ◽

pp. 72-85

Author(s):

Shin Nakajima ◽

Si-Mohamed Lamraoui

Keyword(s):

Timed Automata ◽

Fault Localization ◽

Maximum Satisfiability

Download Full-text