Copied From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Limbic System
$109.99
Interactive Storytelling
$39.99
Handbuch der Verfassung und Verwaltung in Preuen und dem Deutschen Reiche
$59.99
Surfactants in Solution
$39.99
Neuroproteomics as a Tool for Understanding Schizophrenia
$199.99
Der Weg des Mediums Buch im Zeitalter der Digitalisierung
$74.99
Erfolgsfaktoren im Fundraising von Nonprofit-Organisationen
$84.99
Computational Intelligence in Theory and Practice
$109.99
Actinide Speciation in High Ionic Strength Media
$169.99
Herausforderung Qualitt
$59.99
Schule in der digitalen Welt
$39.99
Chemical Applications of Nuclear Probes
$39.99
Membership in International Organizations
$159.99
The Post-Apocalyptic Novel in the Twenty-First Century
$84.99
Clinical Oxygen Pressure Measurement
$84.99
Applied Cryptography and Network Security
$54.99
Encyclopedia of Evidence in Pharmaceutical Public Health and Health Services Research in Pharmacy
$999.99
Globalisierung: Wirtschaft und Politik
$29.99
Super Light Water Reactors and Super Fast Reactors
$189.00
Intravascular Ultrasound
$169.99
STEAM Grades 7-8
$80.00
Strategische Unternehmensentwicklung
$59.99
HIV and Liver Disease
$89.00
Turbulence and Coherent Structures
$219.99
Statistische Physik
$39.99
C unter UNIX
$39.99
Nanomaterials for Environmental Application
$129.99
Extractive Farming or Bio Farming?
$54.99
Resource Competition
$129.00
Grenzen und Aussichten des Nachrichtenverkehrs. Beobachtung des Luftraumes durch automatische Verarb
$59.99
Pervasive Computing Paradigms for Mental Health
$54.99
Gefahr fr kosysteme und Wasserqualitt
$59.99
Review of Medical Dosimetry
$199.99
Adhesives Technology Compendium 2021
$27.99
Politics of Peace Agreement Implementation
$119.99
Progress in Medical Imaging
$84.99
PCI DSS
$54.99
Stochastic Modeling for Reliability
$129.00
Political Marketing in the 2019 Canadian Federal Election
$54.99
On Object-Oriented Database Systems
$84.99
