tests are performed on an ad-hoc train simulator with hardware in the loop. ... for large scale b models, in: FM 2009: Formal Methods, in: LNCS, vol. 5850,.
Oldalunk használatával beleegyezik abba, hogy cookie-kat használjunk a jobb oldali élmény érdekében.