類似資料

• Logic Mining from Process Logs: Towards Automated Specification and Verification
  著者:: Klimek, Radoslaw, 等
  出版事項: (2025)
• Re-evaluation of Logical Specification in Behavioural Verification
  著者:: Klimek, Radoslaw, 等
  出版事項: (2025)
• RE-oriented Model Development with LLM Support and Deduction-based Verification
  著者:: Klimek, Radoslaw
  出版事項: (2025)
• IoT Miner: Intelligent Extraction of Event Logs from Sensor Data for Process Mining
  著者:: Brzychczy, Edyta, 等
  出版事項: (2025)
• To BEE or not to BEE: Estimating more than Entropy with Biased Entropy Estimators
  著者:: la Torre, Ilaria Pia, 等
  出版事項: (2025)