Login / Signup

Guided search for hybrid systems based on coarse-grained space abstractions.

Sergiy BogomolovAlexandre DonzéGoran FrehseRadu GrosuTaylor T. JohnsonHamed LadanAndreas PodelskiMartin Wehrle
Published in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases