Formal Methods for Intelligent Transportation Systems.

Alessandro Fantechi, Francesco Flammini, Stefania Gnesi

Browse the full ISoLA paper archive.