東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

From reactive systems to cyber-physi...

Bartocci, Ezio.

Linked to FindBook

Google Book

Amazon

博客來

From reactive systems to cyber-physical systems = essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /

Record Type:	Electronic resources : Monograph/item
Title/Author:	From reactive systems to cyber-physical systems/ edited by Ezio Bartocci ... [et al.].
Reminder of title:	essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
other author:	Bartocci, Ezio.
Published:	Cham :Springer International Publishing : : 2019.,
Description:	xvi, 301 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts.
Contained By:	Springer eBooks
Subject:	Artificial intelligence. -
Online resource:	https://doi.org/10.1007/978-3-030-31514-6
ISBN:	9783030315146

From reactive systems to cyber-physical systems = essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
From reactive systems to cyber-physical systemsessays dedicated to Scott A. Smolka on the occasion of his 65th birthday /[electronic resource] :edited by Ezio Bartocci ... [et al.]. - Cham :Springer International Publishing :2019. - xvi, 301 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,115000302-9743 ;. - Lecture notes in computer science ;11500..

Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts.

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.

ISBN: 9783030315146

Standard No.: 10.1007/978-3-030-31514-6doiSubjects--Topical Terms:

516317
Artificial intelligence.

LC Class. No.: Q335 / .F76 2019

Dewey Class. No.: 006.3

From reactive systems to cyber-physical systems = essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
LDR:02350nmm a2200361 a 4500 001 2193178
003 DE-He213
005 20190921141145.0
006 m d
007 cr nn 008maaau
008 200514s2019 gw s 0 eng d
020 $a 9783030315146 $q (electronic bk.)
020 $a 9783030315139 $q (paper)
024 7 $a 10.1007/978-3-030-31514-6 $2 doi
035 $a 978-3-030-31514-6
040 $a GP $c GP
041 0 $a eng
050 4 $a Q335 $b .F76 2019
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 006.3 $2 23
090 $a Q335 $b .F931 2019
245 0 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 ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xvi, 301 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11500
490 1 $a Theoretical computer science and general issues
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 Artificial intelligence. $3 516317
650 0 $a Ubiquitous computing. $3 609947
650 0 $a Internet of things. $3 2057703
650 1 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a System Performance and Evaluation. $3 891353
700 1 $a Bartocci, Ezio. $3 2162516
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 11500. $3 3414145
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-030-31514-6
950 $a Computer Science (Springer-11645)