Especificación de la red móvil mediante un enfoque formal similar a wp

El documento tiene como objetivo proporcionar un sistema formal, motivado por la condición previa más débil de Dijkstra lógica, para especificar la red móvil. El documento muestra cómo se puede especificar la movilidad utilizando un enfoque basado en el estado y la transición, que permite que los ho...

Full description

Autores:

Kumar Singh, Awadhesh
Ghanekar, Umesh
Bandyopadhyay, Anup Kumar

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2005

Institución:

Universidad Autónoma de Bucaramanga - UNAB

Repositorio:

Repositorio UNAB

Idioma:

spa

OAI Identifier:

oai:repository.unab.edu.co:20.500.12749/9021

Acceso en línea:

http://hdl.handle.net/20.500.12749/9021

Palabra clave:

Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Weakest precondition
Mobile computing
Specification verification
Safety
Handover
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
Condición previa más débil
Computación móvil
Especificación
Verificación
Seguridad
Entregar

Rights

License

Derechos de autor 2005 Revista Colombiana de Computación