Search

Now showing items 1-4 of 4

Welcome

Type: Conference Paper

Publisher: IEEE

Year: 2014

Modeling Biological Pathway Dynamics With Timed Automata

Type: Journal Paper

Author : Schivo, Stefano; Scholma, Jetse; Wanders, Brend; Camacho, Ricardo /A/. Urquidi; van der Vet, Paul E.; Karperien, Marcel; Langerak, Rom; van de Pol, Jaco; Post, Janine N.

Publisher: IEEE

Year: 2014

Antenna with switchable linear polarization for 60 GHz

Type: Conference Paper

Publisher: IEEE

Year: 2014

Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol

Type: Journal Paper

Author : Hammal, Youcef; Ben-Othman, Jalel; Mokdad, Lynda; Abdelli, A.

Publisher: IEEE

Year: 2014

Search

Welcome

Modeling Biological Pathway Dynamics With Timed Automata

Antenna with switchable linear polarization for 60 GHz

Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Welcome

Modeling Biological Pathway Dynamics With Timed Automata

Antenna with switchable linear polarization for 60 GHz

Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol