Special session on formal methods in transport - notes of the editor

摘要

In the recent past considerable progress has been made in all fields of transportation. New transportation systems have been developed, and existing systems have been improved in favour of their users, making them faster, easier to use, more comfortable, safer, more economic, or adding other advantages.