Author:
Bauer A.,Leucker M.,Schallhart C.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
156 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A monitoring tool for linear-time μHML;Science of Computer Programming;2024-01
2. A compositional framework for algebraic quantitative online monitoring over continuous-time signals;INT J SOFTW TOOLS TE;2023
3. A compositional framework for algebraic quantitative online monitoring over continuous-time signals;International Journal on Software Tools for Technology Transfer;2023-08
4. Formalizing Model Inference of MicroPython;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06
5. Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06