Texada

swMATH43553MaRDI QIDQ1350742FDOQ1350742

Author name not available (Why is that?)

Official website: https://ieeexplore.ieee.org/document/7371998

Source code repository: https://github.com/ModelInference/texada

Cited In (7)

• Perracotta
• DynaMine
• PPTLMiner
• PPTL_SPIN
• Learning temporal causal sequence relationships from real-time time-series
• PPTL specification mining based on LNFG
• Temporal logic specification mining of programs

This page was built for software: Texada