From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /

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,...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Bartocci, Ezio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Cleaveland, Rance (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Grosu, Radu (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sokolsky, Oleg (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:1st ed. 2019.
Σειρά:Theoretical Computer Science and General Issues ; 11500
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04108nam a2200613 4500
001 978-3-030-31514-6
003 DE-He213
005 20191028081801.0
007 cr nn 008mamaa
008 190920s2019 gw | s |||| 0|eng d
020 |a 9783030315146  |9 978-3-030-31514-6 
024 7 |a 10.1007/978-3-030-31514-6  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.L63 
050 4 |a QA76.5913 
072 7 |a UM  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UM  |2 thema 
072 7 |a UYF  |2 thema 
082 0 4 |a 005.1015113  |2 23 
245 1 0 |a From Reactive Systems to Cyber-Physical Systems  |h [electronic resource] :  |b Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /  |c edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky. 
250 |a 1st ed. 2019. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2019. 
300 |a XVI, 301 p. 125 illus., 44 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues ;  |v 11500 
505 0 |a Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. 
520 |a 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. 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 0 |a Software engineering. 
650 0 |a Artificial intelligence. 
650 0 |a Computer system failures. 
650 1 4 |a Logics and Meanings of Programs.  |0 http://scigraph.springernature.com/things/product-market-codes/I1603X 
650 2 4 |a Mathematical Logic and Formal Languages.  |0 http://scigraph.springernature.com/things/product-market-codes/I16048 
650 2 4 |a Software Engineering.  |0 http://scigraph.springernature.com/things/product-market-codes/I14029 
650 2 4 |a Artificial Intelligence.  |0 http://scigraph.springernature.com/things/product-market-codes/I21000 
650 2 4 |a System Performance and Evaluation.  |0 http://scigraph.springernature.com/things/product-market-codes/I13049 
700 1 |a Bartocci, Ezio.  |e editor.  |0 (orcid)0000-0002-8004-6601  |1 https://orcid.org/0000-0002-8004-6601  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Cleaveland, Rance.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Grosu, Radu.  |e editor.  |0 (orcid)0000-0001-5715-2142  |1 https://orcid.org/0000-0001-5715-2142  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Sokolsky, Oleg.  |e editor.  |0 (orcid)0000-0001-5282-0658  |1 https://orcid.org/0000-0001-5282-0658  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783030315139 
776 0 8 |i Printed edition:  |z 9783030315153 
830 0 |a Theoretical Computer Science and General Issues ;  |v 11500 
856 4 0 |u https://doi.org/10.1007/978-3-030-31514-6  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)