Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.

Zbigniew Huzar, Jan Magott

Browse the full MASCOTS paper archive.