The inverse method = parametric veri...
André, Etienne.

FindBook      Google Book      Amazon      博客來     
  • The inverse method = parametric verification of real-time embedded systems /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: The inverse method/ Étienne André, Romain Soulat.
    其他題名: parametric verification of real-time embedded systems /
    作者: André, Etienne.
    其他作者: Soulat, Romain.
    出版者: London :ISTE ; : 2013.,
    面頁冊數: 1 online resource (xviii, 150 p.) :ill.
    內容註: Parametric timed automata -- The inverse method for parametric timed automata -- The inverse method in practice: application to case studies -- Behavioral cartography of timed automata -- Parameter synthesis for hybrid automata -- Application to the robustness analysis of scheduling problems -- Conclusion and perspectives -- Bibliography -- Index.
    標題: Embedded computer systems. -
    電子資源: http://onlinelibrary.wiley.com/book/10.1002/9781118569351
    ISBN: 1118569350
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入