From Reactive Systems to Cyber-Physical Systems

EISBN:9783030315146
PISBN:9783030315139
出版社:Springer International Publishing
出版类型:Commemorative publication
出版时间:2019
版次:1st ed. 2019
作者:Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky
主题词:Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Software Engineering,System Performance and Evaluation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Applied Cyber-Physical Systems

  • 作者:Sang C. Suh,U. John Tanik,John N. Carbone,Abdullah Eroglu
  • EISBN:9781461473367
  • 出版社:Springer New York
  • 出版时间:2014

Resilience of Cyber-Physical Systems

  • 作者:Francesco Flammini
  • EISBN:9783319955971
  • 出版社:Springer International Publishing
  • 出版时间:2019

Transportation Cyber-Physical Systems

  • 作者:Deka,Lipika
  • PISBN:9780128142950
  • 出版时间:2018

Cyber-Physical Systems of Systems

  • 作者:Andrea Bondavalli,Sara Bouchenak,Hermann Kopetz
  • EISBN:9783319475905
  • 出版社:Springer International Publishing
  • 出版时间:2016

Drones as Cyber-Physical Systems

  • 作者:Jung-Sup Um
  • EISBN:9789811337413
  • 出版社:Springer Singapore
  • 出版时间:2019

Cyber-Physical Systems

  • 作者:acatech - National Academy of Science and Engineering,2011
  • EISBN:9783642290909
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011