Papers: 10.1007/978-3-030-53288-8_25
https://doi.org/10.1007/978-3-030-53288-8_25
TarTar: A Timed Automata Repair Tool
Cited by: 4
Author(s): Martin Kölbl, Stefan Leue, Thomas Wies
Published: almost 7 years ago
Software Mentions 1
pypi: maven
Maven's goal is to reduce the time data scientists spend on data cleaning and preparation by providing easy access to open datasets in both raw and processed formats.Papers that mentioned: 1
Very Likely Science (65)