Items related to From Reactive Systems to Cyber-Physical Systems: Essays...
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday: 11500 (Lecture Notes in Computer Science, 11500) - Softcover
Synopsis
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.
Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career.
It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for From Reactive Systems to Cyber-Physical Systems: Essays...
Seller Image
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. This book is in Good condition. There may be some notes and highligting but otherwise the book is in overall good condition. Seller Inventory # BCV.3030315134.G
Stock Image
From Reactive Systems to Cyber-Physical Systems (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 61c2860633c3628748c4403413e2c7f3
Buy New
£ 40.78
£ 4.71 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
From Reactive Systems to Cyber-physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 38536049-n
Stock Image
From Reactive Systems to Cyber-Physical Systems
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-219846
Seller Image
From Reactive Systems to Cyber-physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 38536049
Stock Image
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030315139_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
From Reactive Systems to Cyber-physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 38536049-n
Buy New
£ 50.79
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
From Reactive Systems to Cyber-Physical Systems
Published by
Springer International Publishing Sep 2019, 2019
ISBN 10: 3030315134
ISBN 13: 9783030315139
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career.It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning. 320 pp. Englisch. Seller Inventory # 9783030315139
Stock Image
From Reactive Systems To Cyber-physical
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030315139
Seller Image
From Reactive Systems to Cyber-physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 38536049
Buy Used
£ 55.90
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available