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

Record Type:
Book
Title:
From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /: essays dedicated to Scott A. Smolka on the occasion of his 65th birthday. (2019)
Main Title:
From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday
Further Information:
Note: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.).
Editors:
(Computer scientist), Bartocci, Ezio
Cleaveland, Rance
Grosu, Radu
Sokolsky, Oleg
Other Names:
Smolka, Scott A honouree.
Contents:
Analysis of Complex Biological Systems.- Program Analysis.- Synthesis of Models, Parameters and Benchmarks.- Model-based Design.- Data-driven Design.- Runtime Verification.- Short Abstracts.
Publisher Details:
Cham, Switzerland : Springer
Publication Date:
2019
Extent:
1 online resource (xvi, 301 pages), illustrations (some color)
Subjects:
006.3
Artificial intelligence
Ubiquitous computing
Internet of things
Electronic books
Languages:
English
ISBNs:
9783030315146
3030315142
Related ISBNs:
9783030315139
Notes:
Note: Online resource; title from PDF title page (SpringerLink, viewed September 27, 2019).
Access Rights:
Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:
British Library HMNTS - ELD.DS.458489
Ingest File:
02_598.xml