Formal Techniques for Distributed Objects, Components, and Systems

類似資料

• Formal Techniques for Safety-Critical Systems
  著者:: Artho, Cyrille, 等
  出版事項: (2020)
• Formal Techniques for Distributed Objects, Components, and Systems
  著者:: Baier, Christel, 等
  出版事項: (2020)
• Formal Modeling and Analysis of Timed Systems
  著者:: Raskin, Jean-Francois, 等
  出版事項: (2020)
• Formal Modeling and Analysis of Timed Systems
  著者:: Pettersson, Paul, 等
  出版事項: (2020)
• Integrated Formal Methods
  出版事項: (2020)