Symposium on real-time and hybrid systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /: essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday. (2018)

• Record Type: Book
• Further Information: Note: Cliff Jones, Ji Wang, Naijun Zhan (eds.).
• Editors: Jones, Cliff; (Professor of computer science), Wang, Ji; Zhan, Naijun
• Other Names: Zhou, Chaochen 1937- honouree.
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xii, 263 pages), illustrations
• Subjects: 005.1; Computer science; Software engineering; Formal methods (Computer science); Computers -- Software Development & Engineering -- General; Computers -- Programming Languages -- General; Computers -- Hardware -- Handheld Devices; Computers -- Intelligence (AI) & Semantics; Software Engineering; Programming & scripting languages: general; Systems analysis & design; Artificial intelligence; Information theory; Computer system performance; Artificial intelligence; Computers -- Computer Science; Computer science; Electronic books
• Languages: English
• ISBNs: 9783030014612; 3030014614
• Related ISBNs: 9783030014605
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 4, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.