Cover Image

Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets

Saved in:

Bibliographic Details
Main Author:	María Elena Villapol
Format:	Artículo científico
Language:	en
Published:	Instituto Politécnico Nacional 2012
Subjects:	Computación Bluetooth verification temporal logic occurrence graph Colored Petri Nets
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compositional Synthesis of Distributed System Components based on Augmented marked Graphs
by: K.S. Cheung
Published: (2008)

The PN-PEM framework: a Petri Net Based Parallel Execution Model
by: Gustavo Wolfmann
Published: (2015)

Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents
by: Jorge Luis Martínez-Valencia
Published: (2021)

Compensatory fuzzy logic for intelligent social network analysis
by: Maikel Y. Leyva-Vázquez
Published: (2014)

Reduced Petri Net Diagnosers for Detecting and Locating Faults
by: Elvia Ruiz Beltrán
Published: (2009)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Published: (2018)

Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model
by: Hanifa Boucheneb
Published: (2006)

VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
by: CARLOS ARTURO PARRA ORTEGA
Published: (2012)

Unmanned Helicopter Faults Diagnosis based on Petri Nets
by: Miguel A. Trigos
Published: (2016)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
by: Arquint, Linard, et al.
Published: (2025)

Modeling of an automated integral logistics system using colored petri nets
by: María P. Ochoa
Published: (2019)

Restricción del Uso de Teléfonos Celulares en Ambientes Controlados
by: Maria Aurora Molina Vilchis
Published: (2009)

Productive process improvement to elaborate cane train baskets, using Coloured Petri nets
by: Jesus Filander Caratar-Chaux
Published: (2018)

Computer Aided Verification
Published: (2023)

Survey of Word Co-occurrence Measures for Collocation Detection
by: Olga Kolesnikova
Published: (2016)

Evaluación del Desempeño de Procesos Industriales Utilizando Redes de Petri Simuladas Bajo el Formalismo DEVS
by: Carlos A. Parra Ortega
Published: (2008)

De control de llamadas basado en una red Bluetooth
by: M. A. Molina Vilchis
Published: (2009)

Posicionamiento en espacios interiores con Android, Bluetooth y RSSI
by: Edwin Cabrera-Goyes
Published: (2018)

Modellbasierte Entscheidungsunterstützung für Vertraulichkeit und Datenschutz in Geschäftsprozessen
by: Alpers, Sascha
Published: (2023)

Comunicación inalámbrica basada en tecnología Bluetooth para la automatización de procesos industriales
by: CRISTHIAN MANUEL DURÁN ACEVEDO
Published: (2012)

Computer Aided Verification
Published: (2023)

Formal Methods for Distributed System Development
by: AJAMI, Khalil, et al.
Published: (2000)

A New Multi-graph Transformation Method for Frequent Approximate Subgraph Mining
by: Niusvel Acosta Mendoza
Published: (2018)

Análisis de interferencia entre las tecnologías inalámbricas Bluetooth e IEEE 802.11g
by: Fabio Guerrero
Published: (2007)

Speaker Verification in Different Database Scenarios
by: Leibny Paola García Perera
Published: (2011)

NoXperanto: Crowdsourced Polyglot Persistence
by: Antonio Maccioni
Published: (2014)

Trajectory Graphs Appearing from the Skein Problems at the Hypercube
by: Feliú Salgols
Published: (2016)

Graph Mining under Linguistic Constraints for Exploring Large Texts
by: Solen Quiniou
Published: (2013)

Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri
by: Lionel Rodolfo Baquero Hernández
Published: (2016)

Modeling dynamic scenarios for safety, reliability, availability, and maintainability analysis
by: Cesar Augusto Gabe
Published: (2020)

EL CUADRADO DE OPOSICIÓN COMO INSTRUMENTO DE LA LÓGICA : SU USO Y APLICACIONES EN TOMÁS DE MERCADO
by: Juan Manuel Campos Benítez
Published: (2008)

A Nectar of Frequent Approximate Subgraph Mining for Image Classification
by: Niusvel Acosta Mendoza
Published: (2015)

Open-source ITS Remote-HMI Client for Smart Tachograph V2 in a Web Browser
by: Cerutti, Yannick
Published: (2026)

Text Analysis Using Different Graph-Based Representations
by: Esteban Castillo
Published: (2017)

A Graph-based Approach to Text Genre Analysis
by: Ahmed Ragab Nabhan
Published: (2016)

Método general para el diseño de sistemas de seguridad y acceso bajo tecnología bluetooth
by: Pedro A. Romero D.
Published: (2004)

Computer Aided Verification of Relational Models by Strategic Rewriting
by: Claudia M. Necco
Published: (2017)

Tecnología inalámbrica Bluetooth sobre los servicios de comunicaciones en los ámbitos social y empresarial
by: Gabriela Lorefice Sparacino
Published: (2003)

Asignación de objetivos de producción mediante un protocolo de negociación basado en contratos
by: Luis F. Quintero Henao
Published: (2009)

Performance Engineering
by: Serazzi, Giuseppe
Published: (2023)