عنوان

Symposium on real-time and hybrid systems :

شابک

3030014614

شابک

3030014622

شابک

9783030014612

شابک

9783030014629

شابک اشتباه

3030014606

شابک اشتباه

9783030014605

عنوان اصلي

Symposium on real-time and hybrid systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

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

نام نخستين پديدآور

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

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

2018.

نام خاص و کميت اثر

1 online resource (xii, 263 pages) :

ساير جزييات

illustrations.

عنوان فروست

Lecture notes in computer science ;

عنوان فروست

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

مشخصه جلد

11180

متن يادداشت

Includes author index.

متن يادداشت

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

متن يادداشت

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.

منبع سفارش / آدرس اشتراک

Springer Nature

شماره انبار

com.springer.onix.9783030014612

شماره استاندارد بين المللي کتاب و موسيقي

9783030014605

شماره استاندارد بين المللي کتاب و موسيقي

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

شماره

ويراست

شماره رده

مستند نام اشخاص تاييد نشده

Jones, Cliff

مستند نام اشخاص تاييد نشده

Wang, Ji, (Professor of computer science)

مستند نام اشخاص تاييد نشده

Zhan, Naijun

مستند نام اشخاص تاييد نشده

Zhou, Chaochen,1937-

تاريخ عمليات

20200823073040.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y