Alexander Weinert
- From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
2018/07/21 by Corto Mascle, Mascle, Corto, Daniel Neider +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
- Orchestrating Tool Chains for Model-based Systems Engineering with RCE
2022/07/11 by J. Flink, Flink, Jan, Robert Mischke +7 · 1 citation
Decision Sciences · Computer Science · Engineering · #Simulation Techniques and Applications #Model-Driven Software Engineering Techniques #Systems Engineering Methodologies and Applications