|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
Analysis of a clock synchronization protocol for wireless sensor networks.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathijs Schuts, Feng Zhu 0002, Faranak Heidarian, Frits W. Vaandrager |
Modelling Clock Synchronization in the Chess gMAC WSN Protocol  |
QFM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks.  |
FM  |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor networks, model checking, theorem proving, timed automata, clock synchronization, industrial application |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|