Membership and equivalence oracles using an automaton model as backend
| License | LGPL 3.0 |
|---|---|
| Tags | simulation |
| Date | Dec 13, 2013 |
| Files | pom (1 KB) jar (4 KB) View All |
| Repositories | CentralRivigo Libs |
| Ranking | #45563 in MvnRepository (See Top Artifacts) |
| Used By | 11 artifacts |
Compile Dependencies (3)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 | | de.learnlib » learnlib-core | 0.9.1-ase2013-tutorial-r1 | 0.18.0 |
LGPL 3.0 | | de.learnlib » learnlib-test-support | 0.9.1-ase2013-tutorial-r1 | 0.9.1 |
| Testing Apache 2.0 |  | org.testng » testng | 6.8 | 7.11.0 |
Licenses
| License | URL |
|---|---|
| GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 | http://www.gnu.org/licenses/lgpl-3.0-standalone.html |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Falk Howar | falk.howar<at>gmail.com | falkhowar | ||
| Malte Isberner | malte.isberner<at>gmail.com | misberner | ||
| Stephan Windmüller | stephan.windmueller<at>tu-dortmund.de | stovocor | ||
| Maik Merten | maikmerten<at>googlemail.com | merten | ||
| Oliver Bauer | oliver.bauer<at>tu-dortmund.de | oliverbauer8 |