Validation of the GSM-map protocol.

Ana R. Cavalli Melania Ionescu

Published in: Ann. des Télécommunications (2000)

Keyphrases

end to end
maximum a posteriori
lightweight
coloured petri nets
database
multi agent systems
mobile devices
image reconstruction
formal analysis
security protocols
mobile communication
network simulator
network protocols