Sign in

Formal Qualitative Physics-Based Reasoning for Functional Decomposition of Engineered Systems.

Xiaoyang MaoChiradeep Sen
Published in: J. Comput. Inf. Sci. Eng. (2024)
Keyphrases
  • qualitative physics
  • distributed systems
  • functional decomposition
  • complex systems
  • formal methods
  • database