عنوان

Symposium on real-time and hybrid systems :

(Number (ISBN

3030014614

(Number (ISBN

3030014622

(Number (ISBN

9783030014612

(Number (ISBN

9783030014629

Erroneous ISBN

3030014606

Erroneous ISBN

9783030014605

Title Proper

Symposium on real-time and hybrid systems :

General Material Designation

[Book]

Other Title Information

essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /

First Statement of Responsibility

Cliff Jones, Ji Wang, Naijun Zhan (eds.).

Place of Publication, Distribution, etc.

Cham, Switzerland :

Name of Publisher, Distributor, etc.

Springer,

Date of Publication, Distribution, etc.

2018.

Specific Material Designation and Extent of Item

1 online resource (xii, 263 pages) :

Other Physical Details

illustrations.

Series Title

Lecture notes in computer science ;

Series Title

LNCS sublibrary. SL 1, Theoretical computer science and general issues

Volume Designation

11180

Text of Note

Includes author index.

Text of Note

Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work -- HAT: Analyzing Linear Hybrid Automata As Labeled Transition System -- Overview: System Architecture Virtual Integration Based on an AADL Model -- Characterization and Verification of Stuttering Equivalence -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer -- Reconciling Hybrid-System Theory with Metrology -- Linking Theories of Probabilistic Programming -- Space for Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt Handlers via Interprocedural Summaries.

0

Text of Note

This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou's contributions have been marked by his election as a member of the Chinese Academy of Sciences.

Source for Acquisition/Subscription Address

Springer Nature

Stock Number

com.springer.onix.9783030014612

International Standard Book Number

9783030014605

International Standard Book Number

9783030014629

Formal methods (Computer science)

Software engineering.

Artificial Intelligence.

Programming Languages, Compilers, Interpreters.

Software Engineering.

System Performance and Evaluation.

Theory of Computation.

Artificial intelligence.

Computer science.

Computers-- Computer Science.

Computers-- Hardware-- Handheld Devices.

Computers-- Intelligence (AI) & Semantics.

Computers-- Programming Languages-- General.

Computers-- Software Development & Engineering-- General.

Formal methods (Computer science)

Programming & scripting languages: general.

Software engineering.

Software Engineering.

Systems analysis & design.

COM014000

UY

UY

UYA

Number

Edition

Class number

Jones, Cliff

Wang, Ji, (Professor of computer science)

Zhan, Naijun

Zhou, Chaochen,1937-

Date of Transaction

20200823073040.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y