Rigorous State-Based Methods

EISBN:9783031331633
PISBN:9783031331626
出版社:Springer Nature
出版时间:2023
作者:Uwe Glässer,Jose Creissac Campos,Dominique Méry,Philippe Palanque
主题词:state-based modelling languages,formal methods,verification,validation,model checking,simulation,semantics,cyber-physical systems,refinement,proof assistanct,programming languages
学科:Computer Science
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Rigorous State-Based Methods

  • 作者:Silvia Bonfanti,Angelo Gargantini,Michael Leuschel,Elvinia Riccobene,Patrizia Scandurra
  • EISBN:9783031637902
  • 出版社:Springer Nature
  • 出版时间:2024

Rigorous State-Based Methods

  • 作者:Alexander Raschke,Dominique Méry,Frank Houdek
  • EISBN:9783030480776
  • 出版社:Springer International Publishing
  • 出版时间:2020

Rigorous Methods for Software Construction and Analysis

  • 作者:Jean-Raymond Abrial,Uwe Glässer
  • EISBN:9783642114472
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Rigorous Methods in Particle Physics

  • 作者:Sorin Ciulli,Florian Scheck,Walter Thirring
  • EISBN:9783540471769
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

Rigorous Methods in Particle Physics

  • 作者:Sorin Ciulli,Florian Scheck,Walter Thirring
  • EISBN:9783540471769
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

Event-Based State Estimation

  • 作者:Dawei Shi,Ling Shi,Tongwen Chen
  • EISBN:9783319266060
  • 出版社:Springer International Publishing
  • 出版时间:2016