Documents On Specification and Verification of Location- Based Fault Tolerant Mobile Systems Alexei Iliasov,.....

Slide 1On Specification and Verification of Location- Based Fault Tolerant Mobile Systems Alexei Iliasov, Victor Khomenko, Maciej Koutny and Alexander Romanovsky Supported…