Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030014605, 9783030014612

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

$$Q|SI\rangle $$Q|SI⟩ : A Quantum Programming Environment

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_8 ◽

2018 ◽

pp. 133-164 ◽

Cited By ~ 4

Author(s):

Shusen Liu ◽

Xin Wang ◽

Li Zhou ◽

Ji Guan ◽

Yinan Li ◽

...

Keyword(s):

Programming Environment ◽

Quantum Programming

Download Full-text

Space for Traffic Manoeuvres: An Overview

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_11 ◽

2018 ◽

pp. 211-230

Author(s):

Ernst-Rüdiger Olderog

Download Full-text

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_5 ◽

2018 ◽

pp. 85-104

Author(s):

Lei Bu ◽

Hui Jiang ◽

Xin Chen ◽

Enyi Tang ◽

Xuandong Li

Keyword(s):

Transition System ◽

Hybrid Automata ◽

Linear Hybrid Automata ◽

Labelled Transition System

Download Full-text

Overview: System Architecture Virtual Integration based on an AADL Model

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_6 ◽

2018 ◽

pp. 105-115 ◽

Cited By ~ 2

Author(s):

Yunwei Dong ◽

Xiaomin Wei ◽

Mingrui Xiao

Keyword(s):

System Architecture ◽

Virtual Integration

Download Full-text

Characterization and Verification of Stuttering Equivalence

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_7 ◽

2018 ◽

pp. 116-132

Author(s):

Xinxin Liu ◽

Wenhui Zhang

Download Full-text

The Demon, the Gambler, and the Engineer

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_9 ◽

2018 ◽

pp. 165-185 ◽

Cited By ~ 1

Author(s):

Martin Fränzle ◽

Paul Kröger

Download Full-text

Cloud Robotics: A Distributed Computing View

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_12 ◽

2018 ◽

pp. 231-245 ◽

Cited By ~ 1

Author(s):

Wang Huaimin ◽

Ding Bo ◽

Jie Xu

Keyword(s):

Distributed Computing ◽

Cloud Robotics

Download Full-text

Think Sequential, Run Parallel

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_1 ◽

2018 ◽

pp. 1-25 ◽

Cited By ~ 1

Author(s):

Wenfei Fan ◽

Muyang Liu ◽

Ruiqi Xu ◽

Lei Hou ◽

Dongze Li ◽

...

Download Full-text

Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_4 ◽

2018 ◽

pp. 61-84

Author(s):

Dines Bjørner

Keyword(s):

Science And Engineering

Download Full-text

Decidability of the Initial-State Opacity of Real-Time Automata

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_3 ◽

2018 ◽

pp. 44-60

Author(s):

Lingtai Wang ◽

Naijun Zhan

Keyword(s):

Real Time ◽

Initial State

Download Full-text

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

$$Q|SI\rangle $$Q|SI⟩ : A Quantum Programming Environment

Space for Traffic Manoeuvres: An Overview

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System

Overview: System Architecture Virtual Integration based on an AADL Model

Characterization and Verification of Stuttering Equivalence

The Demon, the Gambler, and the Engineer

Cloud Robotics: A Distributed Computing View

Think Sequential, Run Parallel

Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China

Decidability of the Initial-State Opacity of Real-Time Automata

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems
Latest Publications