Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems.

Fabrice Kordon

Browse the full ISORC paper archive.