El Instituto Politécnico Nacional
Contribuye al desarrollo económico y social de la nación, a través de la formación integral de personas competentes; de la investigación, el desarrollo tecnológico y la innovación. Además tiene reconocimiento internacional por su calidad e impacto social.
Buscar por Materia Keywords: Bluetooth, Colored Petri Nets, temporal logic, verification, occurrence graph.
Mostrando resultados 1 a 1 de 1
| Vista previa | Fecha de publicación | Título | Autor(es) |
|---|---|---|---|
| 10-dic-2012 | Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets | María Elena, Villapol |