000914844 000__ 03309cam\a2200553Ii\4500
000914844 001__ 914844
000914844 005__ 20230306150545.0
000914844 006__ m\\\\\o\\d\\\\\\\\
000914844 007__ cr\cn\nnnunnun
000914844 008__ 190927s2019\\\\sz\a\\\\o\\\\\011\0\eng\d
000914844 019__ $$a1121273331
000914844 020__ $$a9783030315146$$q(electronic book)
000914844 020__ $$a3030315142$$q(electronic book)
000914844 020__ $$z9783030315139
000914844 0247_ $$a10.1007/978-3-030-31514-6$$2doi
000914844 0247_ $$a10.1007/978-3-030-31
000914844 035__ $$aSP(OCoLC)on1121075184
000914844 035__ $$aSP(OCoLC)1121075184$$z(OCoLC)1121273331
000914844 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dLQU$$dUKMGB$$dEBLCP
000914844 049__ $$aISEA
000914844 050_4 $$aQ335
000914844 08204 $$a006.3$$223
000914844 24500 $$aFrom reactive systems to cyber-physical systems :$$bessays dedicated to Scott A. Smolka on the occasion of his 65th birthday /$$cEzio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.).
000914844 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000914844 300__ $$a1 online resource (xvi, 301 pages) :$$billustrations.
000914844 336__ $$atext$$btxt$$2rdacontent
000914844 337__ $$acomputer$$bc$$2rdamedia
000914844 338__ $$aonline resource$$bcr$$2rdacarrier
000914844 4901_ $$aLecture notes in computer science ;$$v11500
000914844 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000914844 500__ $$aIncludes author index.
000914844 5050_ $$aAnalysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts.
000914844 506__ $$aAccess limited to authorized users.
000914844 520__ $$aThis 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.
000914844 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 27, 2019).
000914844 650_0 $$aArtificial intelligence.
000914844 650_0 $$aUbiquitous computing.
000914844 650_0 $$aInternet of things.
000914844 7001_ $$aBartocci, Ezio$$c(Computer scientist),$$eeditor.
000914844 7001_ $$aCleaveland, Rance,$$eeditor.
000914844 7001_ $$aGrosu, Radu,$$eeditor.
000914844 7001_ $$aSokolsky, Oleg,$$eeditor.
000914844 7001_ $$aSmolka, Scott A.,$$ehonouree.
000914844 830_0 $$aLecture notes in computer science ;$$v11500.
000914844 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000914844 852__ $$bebk
000914844 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31514-6$$zOnline Access$$91397441.1
000914844 909CO $$ooai:library.usi.edu:914844$$pGLOBAL_SET
000914844 980__ $$aEBOOK
000914844 980__ $$aBIB
000914844 982__ $$aEbook
000914844 983__ $$aOnline
000914844 994__ $$a92$$bISE