-
2
-
-
84987831612
-
-
"Arduino due," [Online]. Available: http://arduino.cc/en/Main/ arduinoBoardDue
-
-
-
-
3
-
-
84987831611
-
-
Redwire Llc. "Redwire Econotag II," [Online]. Available: http://redwire. myshopify.com/products/econotag-ii
-
Redwire Econotag II
-
-
-
4
-
-
84908618506
-
-
Zolertia. "Z1 datasheet," [Online]. Available: http://www.zolertia.com
-
Z1 Datasheet
-
-
-
6
-
-
84987816565
-
-
OpenMote. "OpenMote-CC2538," [Online]. Available: http://www. openmote.com/hardware/openmote-cc2538-en.html
-
OpenMote-CC2538
-
-
-
8
-
-
84887362165
-
Terminology for constrained node networks
-
May
-
C. Bormann, M. Ersue, and A. Keranen, "Terminology for constrained node networks," RFC 7228 (informational), Internet Eng. Task Force, May 2014 [Online]. Available: http://www.ietf.org/rfc/rfc7228.txt
-
(2014)
RFC 7228 (Informational)
-
-
Bormann, C.1
Ersue, M.2
Keranen, A.3
-
10
-
-
84987779176
-
-
"Pebble smart watch," [Online]. Available: https://getpebble.com
-
Pebble Smart Watch
-
-
-
12
-
-
84987800509
-
-
"mbed OS," [Online]. Available: https://mbed.org/technology/os
-
-
-
-
15
-
-
77953725972
-
Routing requirements for urban low-power and lossy networks
-
May
-
M. Dohler, T. Watteyne, T. Winter, and D. Barthel, "Routing requirements for urban low-power and lossy networks," Internet Eng. Task Force, RFC 5548 (informational), May 2009 [Online]. Available: http://www.ietf.org/rfc/rfc5548.txt
-
(2009)
Internet Eng. Task Force, RFC 5548 (Informational)
-
-
Dohler, M.1
Watteyne, T.2
Winter, T.3
Barthel, D.4
-
16
-
-
78650434784
-
Building automation routing requirements in low-power and lossy networks
-
Jun
-
J. Martocci, P. D. Mil, N. Riou, andW. Vermeylen, "Building automation routing requirements in low-power and lossy networks," Internet Eng. Task Force, RFC 5867 (informational), Jun. 2010, [Online]. Available: http://www.ietf.org/rfc/rfc5867.txt
-
(2010)
Internet Eng. Task Force, RFC 5867 (Informational)
-
-
Martocci, J.1
Mil, P.D.2
Riou, N.3
Vermeylen, W.4
-
17
-
-
79551619215
-
Industrial routing requirements in low-power and lossy networks
-
Oct
-
K. Pister, P. Thubert, S. Dwars, and T. Phinney, "Industrial routing requirements in low-power and lossy networks," Internet Eng. Task Force, RFC 5673 (informational), Oct. 2009 [Online]. Available: http://www.ietf.org/rfc/rfc5673.txt
-
(2009)
Internet Eng. Task Force, RFC 5673 (Informational)
-
-
Pister, K.1
Thubert, P.2
Dwars, S.3
Phinney, T.4
-
18
-
-
77954485841
-
Home automation routing requirements in low-power and lossy networks
-
Apr
-
A. Brandt, J. Buron, and G. Porcu, "Home automation routing requirements in low-power and lossy networks," Internet Eng. Task Force, RFC 5826 (informational), Apr. 2010 [Online]. Available: http://www.ietf.org/rfc/rfc5826.txt
-
(2010)
Internet Eng. Task Force, RFC 5826 (Informational)
-
-
Brandt, A.1
Buron, J.2
Porcu, G.3
-
20
-
-
84987845269
-
-
Freescale. "The MC13224V SoC," [Online]. Available: http://www. freescale.com/webapp/sps/site/prod-summary.jsp?code=MC13224V
-
The MC13224V SoC
-
-
-
21
-
-
84987800523
-
-
ST Microelectronics. "STM32F100VC microcontroller," [Online]. Available: http://www.st.com/web/catalog/mmc/FM141/SC1169/ SS1031/LN775/PF216851
-
STM32F100VC Microcontroller
-
-
-
22
-
-
77958003511
-
Communication and computation in buildings: A short introduction and overview
-
Nov
-
D. Dietrich, D. Bruckner, G. Zucker, and P. Palensky, "Communication and computation in buildings: A short introduction and overview," IEEE Trans. Ind. Electron., vol. 57, no. 11, pp. 3577-3584, Nov. 2010
-
(2010)
IEEE Trans. Ind. Electron
, vol.57
, Issue.11
, pp. 3577-3584
-
-
Dietrich, D.1
Bruckner, D.2
Zucker, G.3
Palensky, P.4
-
23
-
-
84899817374
-
Communication techniques and challenges for wireless food quality monitoring
-
R. Jedermann, T. Pötsch, and C. Lloyd, "Communication techniques and challenges for wireless food quality monitoring," Philos. Trans. Roy. Soc. London A: Math. Phys. Eng. Sci., vol. 372, no. 2017, 2014
-
(2014)
Philos. Trans. Roy. Soc. London A: Math. Phys. Eng. Sci
, vol.372
, Issue.2017
-
-
Jedermann, R.1
Pötsch, T.2
Lloyd, C.3
-
24
-
-
78649448442
-
Providing os support for wireless sensor networks: Challenges and approaches
-
W. Dong, C. Chen, X. Liu, and J. Bu, "Providing os support for wireless sensor networks: Challenges and approaches," IEEE Commun. Surv. Tuts., vol. 12, no. 4, pp. 519-530, 2010
-
(2010)
IEEE Commun. Surv. Tuts
, vol.12
, Issue.4
, pp. 519-530
-
-
Dong, W.1
Chen, C.2
Liu, X.3
Bu, J.4
-
25
-
-
84857266333
-
A comparative analysis of wireless sensor network operating systems
-
L. Saraswat and P. S. Yadav, "A comparative analysis of wireless sensor network operating systems," Int. J. Eng. Technosci., vol. 1, no. 1, pp. 41-47, 2010
-
(2010)
Int. J. Eng. Technosci
, vol.1
, Issue.1
, pp. 41-47
-
-
Saraswat, L.1
Yadav, P.S.2
-
26
-
-
84881312915
-
Standardized protocol stack for the internet of (important) things
-
Third Quart
-
M. R. Palattella et al., "Standardized protocol stack for the internet of (important) things," IEEE Commun. Surv. Tuts., vol. 15, no. 3, pp. 1389-1406, Third Quart. 2013
-
(2013)
IEEE Commun. Surv. Tuts
, vol.15
, Issue.3
, pp. 1389-1406
-
-
Palattella, M.R.1
-
27
-
-
0036704299
-
Energy-centric enabling technologies for wireless sensor networks
-
Aug
-
R. Min et al., "Energy-centric enabling technologies for wireless sensor networks," IEEE Wireless Commun., vol. 9, no. 4, pp. 28-39, Aug. 2002
-
(2002)
IEEE Wireless Commun
, vol.9
, Issue.4
, pp. 28-39
-
-
Min, R.1
-
28
-
-
33746764996
-
Wireless sensor networks for personal health monitoring: Issues and an implementation
-
A. Milenkovíc, C. Otto, and E. Jovanov, "Wireless sensor networks for personal health monitoring: Issues and an implementation," Comput. Commun., vol. 29, no. 13, pp. 2521-2533, 2006
-
(2006)
Comput. Commun
, vol.29
, Issue.13
, pp. 2521-2533
-
-
Milenkovíc, A.1
Otto, C.2
Jovanov, E.3
-
29
-
-
14944382634
-
Towards realtime middleware for vehicular ad hoc networks
-
B. Hughes, R. Meier, R. Cunningham, and V. Cahill, "Towards realtime middleware for vehicular ad hoc networks," in Proc. 1st ACM Int. Workshop Veh. Ad Hoc Netw. (VANET'04), 2004, pp. 95-96 [Online]. Available: http://doi.acm.org/10.1145/1023875.1023894
-
(2004)
Proc. 1st ACM Int. Workshop Veh. Ad Hoc Netw. (VANET'04)
, pp. 95-96
-
-
Hughes, B.1
Meier, R.2
Cunningham, R.3
Cahill, V.4
-
30
-
-
84987790937
-
-
"ITRON project archive," [Online]. Available: http://www.ertl.jp/ITRON/ home-e.html
-
-
-
-
31
-
-
84898399610
-
-
Gaithersburg, MD, USA, Tech. Rep
-
K. A. Stouffer, J. A. Falco, and K. A. Scarfone, "Sp 800-82. Guide to industrial control systems (ICS) security: Supervisory control and data acquisition (SCADA) systems, distributed control systems (DCS), and other control system configurations such as programmable logic controllers (PLC)," Gaithersburg, MD, USA, Tech. Rep., 2011
-
(2011)
Sp 800-82. Guide to Industrial Control Systems (ICS) Security: Supervisory Control and Data Acquisition (SCADA) Systems, Distributed Control Systems (DCS), and Other Control System Configurations Such As Programmable Logic Controllers (PLC)
-
-
Stouffer, K.A.1
Falco, J.A.2
Scarfone, K.A.3
-
32
-
-
33845933082
-
Increased security through open source
-
Jan
-
J.-H. Hoepman and B. Jacobs, "Increased security through open source," Commun. ACM, vol. 50, no. 1, pp. 79-83, Jan. 2007 [Online]. Available: http://doi.acm.org/10.1145/1188913.1188921
-
(2007)
Commun. ACM
, vol.50
, Issue.1
, pp. 79-83
-
-
Hoepman, J.-H.1
Jacobs, B.2
-
33
-
-
5644266423
-
TLSF: A new dynamic memory allocator for real-time systems
-
M. Masmano, I. Ripoll, A. Crespo, and J. Real, "TLSF: A new dynamic memory allocator for real-time systems," in Proc. 16th Euromicro Conf. Real-Time Syst. (ECRTS'04), 2004, pp. 79-88
-
(2004)
Proc. 16th Euromicro Conf. Real-Time Syst. (ECRTS'04)
, pp. 79-88
-
-
Masmano, M.1
Ripoll, I.2
Crespo, A.3
Real, J.4
-
34
-
-
84871983175
-
Interoperable and globally interconnected Smart Grid using IPv6 and 6LoWPAN
-
Jun
-
A. Castellani, G. Ministeri, M. Rotoloni, L. Vangelista, and M. Zorzi, "Interoperable and globally interconnected Smart Grid using IPv6 and 6LoWPAN," in Proc. IEEE Int. Conf. Commun. (ICC'12), Jun. 2012, pp. 6473-6478
-
(2012)
Proc. IEEE Int. Conf. Commun. (ICC'12)
, pp. 6473-6478
-
-
Castellani, A.1
Ministeri, G.2
Rotoloni, M.3
Vangelista, L.4
Zorzi, M.5
-
35
-
-
84958692916
-
Old wine in new skins? Revisiting the software architecture for IP network stacks on constrained IoT devices
-
May
-
H. Petersen, M. Lenders, M. Wählisch, O. Hahm, and E. Baccelli, "Old wine in new skins? Revisiting the software architecture for IP network stacks on constrained IoT devices," in Proc. ACM MobiSys Workshop IoT Challenges Mobile Ind. Syst. (IoT-Sys), May 2015
-
(2015)
Proc. ACM MobiSys Workshop IoT Challenges Mobile Ind. Syst. (IoT-Sys)
-
-
Petersen, H.1
Lenders, M.2
Wählisch, M.3
Hahm, O.4
Baccelli, E.5
-
36
-
-
84958701882
-
A distributed test system architecture for open-source IoT software
-
May
-
P. Rosenkranz, M. Wählisch, E. Baccelli, and L. Ortmann, "A distributed test system architecture for open-source IoT software," in Proc. ACM MobiSys Workshop IoT Challenges Mobile Ind. Syst. (IoT-Sys), May 2015
-
(2015)
Proc. ACM MobiSys Workshop IoT Challenges Mobile Ind. Syst. (IoT-Sys)
-
-
Rosenkranz, P.1
Wählisch, M.2
Baccelli, E.3
Ortmann, L.4
-
37
-
-
79953077380
-
MSPsim-An extensible simulator for MSP430-equipped sensor boards
-
J. Eriksson, A. Dunkels, N. Finne, F. Osterlind, and T. Voigt, "MSPsim-An extensible simulator for MSP430-equipped sensor boards," in Proc. Eur. Conf. Wireless Sens. Netw. (EWSN), poster/demo session, 2007, p. 27
-
(2007)
Proc. Eur. Conf. Wireless Sens. Netw. (EWSN), Poster/demo Session
, pp. 27
-
-
Eriksson, J.1
Dunkels, A.2
Finne, N.3
Osterlind, F.4
Voigt, T.5
-
38
-
-
84987800171
-
-
Emul8. [Online]. Available: http://emul8.org
-
-
-
-
39
-
-
70450257028
-
Network simulations with the NS-3 simulator
-
T. R. Henderson, M. Lacage, G. F. Riley, C. Dowell, and J. Kopena, "Network simulations with the NS-3 simulator," SIGCOMM Demonstr., vol. 14, 2008
-
(2008)
SIGCOMM Demonstr
, vol.14
-
-
Henderson, T.R.1
Lacage, M.2
Riley, G.F.3
Dowell, C.4
Kopena, J.5
-
40
-
-
20544456753
-
Contiki-A lightweight and flexible operating system for tiny networked sensors
-
A. Dunkels, B. Grönvall, and T. Voigt, "Contiki-A lightweight and flexible operating system for tiny networked sensors," in Proc. 29th Annu. Int. Conf. Local Comput. Netw. (LCN), 2004, pp. 455-462 [Online]. Available: http://dblp.uni-trier.de/db/conf/lcn/lcn2004.html# DunkelsGV04
-
(2004)
Proc. 29th Annu. Int. Conf. Local Comput. Netw. (LCN)
, pp. 455-462
-
-
Dunkels, A.1
Grönvall, B.2
Voigt, T.3
-
41
-
-
84987821525
-
-
"Contiki operating system," [Online]. Available: http://www.contikios. org
-
-
-
-
42
-
-
34547423275
-
Protothreads: Simplifying event-driven programming of memory-constrained embedded systems
-
Boulder, CO, USA, Nov
-
A. Dunkels, O. Schmidt, T. Voigt, and M. Ali, "Protothreads: Simplifying event-driven programming of memory-constrained embedded systems," in Proc. Int. Conf. Embedded Netw. Sens. Syst. (ACM SenSys), Boulder, CO, USA, Nov. 2006
-
(2006)
Proc. Int. Conf. Embedded Netw. Sens. Syst. (ACM SenSys)
-
-
Dunkels, A.1
Schmidt, O.2
Voigt, T.3
Ali, M.4
-
43
-
-
84962299212
-
RIOT OS: Towards an OS for the internet of things
-
E. Baccelli, O. Hahm,M. Günes, M. Wählisch, and T. C. Schmidt, "RIOT OS: Towards an OS for the Internet of Things," in Proc. 32nd IEEE INFOCOM, 2013
-
(2013)
Proc. 32nd IEEE INFOCOM
-
-
Baccelli, E.1
Hahm, O.2
Günes, M.3
Wählisch, M.4
Schmidt, T.C.5
-
44
-
-
84987790991
-
RIOT and the evolution of IoT operating systems and applications
-
E. Baccelli, O. Hahm, H. Petersen, and K. Schleiser, "RIOT and the evolution of IoT operating systems and applications," ERCIM News, vol. 2015, no. 101, 2015 [Online]. Available: http://ercim-news.ercim. eu/en101/special/riot-and-The-evolution-of-iot-operating-systems-andapplications
-
(2015)
ERCIM News
, vol.2015
, Issue.101
-
-
Baccelli, E.1
Hahm, O.2
Petersen, H.3
Schleiser, K.4
-
45
-
-
84987821535
-
-
"RIOT operating system," [Online]. Available: http://www.riot-os.org
-
-
-
-
50
-
-
84895207016
-
TinyOS: An operating system for sensor networks
-
W. Weber, J. M. Rabaey, E. Aarts, Eds. Berlin, Germany: Springer-Verlag, ch. 7
-
P. Levis et al., "TinyOS: An operating system for sensor networks," in Ambient Intelligence, W. Weber, J. M. Rabaey, E. Aarts, Eds. Berlin, Germany: Springer-Verlag, 2005, ch. 7, pp. 115-148 [Online]. Available: http://dx.doi.org/10.1007/3-540-27139-2-7
-
(2005)
Ambient Intelligence
, pp. 115-148
-
-
Levis, P.1
-
51
-
-
85076890829
-
Experiences from a decade of TinyOS development
-
P. Levis, "Experiences from a decade of TinyOS development," in Proc. 10th USENIX Conf. Oper. Syst. Des. Implement. (OSDI'12), 2012, pp. 207-220 [Online]. Available: http://dl.acm.org/citation.cfm? id=2387880.2387901
-
(2012)
Proc. 10th USENIX Conf. Oper. Syst. Des. Implement. (OSDI'12)
, pp. 207-220
-
-
Levis, P.1
-
59
-
-
84987810471
-
-
Google. "Project Brillo," [Online]. Available: https://developers.google. com/brillo
-
Project Brillo
-
-
-
60
-
-
84987805558
-
-
"ChibiOS/RT," [Online]. Available: http://www.chibios.org
-
-
-
-
61
-
-
84987843862
-
-
CooCox. "CoOS," [Online]. Available: http://www1.coocox.org/ CoOS.htm
-
CoOS
-
-
-
62
-
-
84987807203
-
-
ERIKA Enterprise. [Online]. Available: http://erika.tuxfamily.org/ drupal
-
-
-
-
63
-
-
78650875631
-
MansOS: Easy to use, portable and resource efficient operating system for networked embedded devices
-
G. Strazdins, A. Elsts, and L. Selavo, "MansOS: Easy to use, portable and resource efficient operating system for networked embedded devices," in Proc. 8th ACM Conf. Embedded Netw. Sens. Syst., 2010, pp. 427-428
-
(2010)
Proc. 8th ACM Conf. Embedded Netw. Sens. Syst
, pp. 427-428
-
-
Strazdins, G.1
Elsts, A.2
Selavo, L.3
-
64
-
-
84876246342
-
NanoQplus: A multi-threaded operating system with memory protection mechanism for WSNs
-
S. C. Kim, H. Kim, J. Song, M. Yu, and P. Mah, "NanoQplus: A multi-threaded operating system with memory protection mechanism for WSNs," in Proc. 1st China-Korea WSN Int. Workshop (CKWSN'2008), 2008, vol. 20, no. 8, 2008
-
(2008)
Proc. 1st China-Korea WSN Int. Workshop (CKWSN'2008)
, vol.20
, Issue.8
, pp. 2008
-
-
Kim, S.C.1
Kim, H.2
Song, J.3
Yu, M.4
Mah, P.5
-
65
-
-
84987795450
-
-
"NanoRK operating system," [Online]. Available: http://www.nanork. org
-
-
-
-
66
-
-
84987810472
-
-
"Nut/OS," [Online]. Available: http://www.ethernut.de/en/software
-
-
-
-
69
-
-
84987843860
-
-
"SOS 2.X," [Online]. Available: https://projects.nesl.ucla.edu/public/sos-2x
-
-
-
-
70
-
-
20844436880
-
MANTIS OS: An embedded multithreaded operating system for wireless micro sensor platforms
-
S. Bhatti et al., "MANTIS OS: An embedded multithreaded operating system for wireless micro sensor platforms," in Mobile Networks and Applications, 2005
-
(2005)
Mobile Networks and Applications
-
-
Bhatti, S.1
-
71
-
-
84987807144
-
-
"MANTIS OS," [Online]. Available: http://www.sourceforge.net/ projects/mantisos
-
-
-
-
72
-
-
84987808701
-
-
"Lorien," [Online]. Available: http://lorienos.sourceforge.net/index.php/ Main-Page
-
-
-
-
73
-
-
84987808672
-
-
"LiteOS," [Online]. Available: http://www.liteos.net
-
-
-
-
74
-
-
84987807163
-
-
Express Logic Inc. "ThreadX," [Online]. Available: http://rtos.com/ products/threadx
-
Express Logic Inc
-
-
-
76
-
-
84987808692
-
-
Blackberry Ltd. "QNX," [Online]. Available: http://www.qnx.com
-
Blackberry Ltd
-
-
-
77
-
-
84987787182
-
-
Wind River Syst. "VxWorks," [Online]. Available: http://www.windriver. com/products/vxworks
-
Wind River Syst
-
-
-
78
-
-
84987810489
-
-
"Wind river rocket," [Online]. Available: http://www.windriver.com/ products/operating-systems/rocket
-
-
-
-
79
-
-
84987787188
-
-
SYSGO. "PikeOS," [Online]. Available: http://www.sysgo.com/products/ pikeos-rtos-and-virtualization-concept
-
PikeOS
-
-
-
80
-
-
84987808662
-
-
Segger. "embOS," [Online]. Available: https://www.segger.com/ embos.html
-
EmbOS
-
-
-
81
-
-
84987785946
-
-
Mentor Graphics. "Nucleus RTOS," [Online]. Available: http://www. mentor.com/embedded-software/nucleus
-
Nucleus RTOS
-
-
-
82
-
-
84987806825
-
-
SCIOPTA Systems AG. "SCIOPTA," [Online]. Available: http://www. sciopta.com/products/kernel.html
-
SCIOPTA Systems AG
-
-
-
83
-
-
84987806823
-
-
Micrium. "uC/OS-II," [Online]. Available: http://micrium.com/rtos/ ucosii/overview
-
UC/OS-II
-
-
-
84
-
-
84987810446
-
-
Micrium. "uC/OS-III," [Online]. Available: http://micrium.com/rtos/ ucosiii/overview
-
UC/OS-III
-
-
-
85
-
-
84987826283
-
-
Green Hills Software. "μ-velOSity," [Online]. Available: http://www.ghs. com/products/micro-velosity.html
-
μ-velOSity
-
-
-
86
-
-
84987826282
-
-
Microsoft. "Windows CE," [Online]. Available: http://microsoft.com/ windowsce
-
Windows CE
-
-
-
87
-
-
84987833899
-
-
Huawei. "LiteOS," [Online]. Available: https://github.com/OIOTC/ Liteos
-
Huawei
-
-
-
88
-
-
84987808713
-
-
Arduino. [Online]. Available: http://arduino.cc
-
-
-
-
90
-
-
84987813824
-
-
"Tessel embedded development platform," [Online]. Available: https:// tessel.io
-
-
-
-
91
-
-
84987787191
-
-
node OS. [Online]. Available: http://node-os.com
-
-
-
-
92
-
-
74549222442
-
Darjeeling, A feature-rich VM for the resource poor
-
Berkeley, CA, USA
-
N. Brouwers, K. Langendoen, and P. Corke, "Darjeeling, A feature-rich VM for the resource poor," in Proc. Int. Conf. Embedded Netw. Sens. Syst. (ACM SenSys), Berkeley, CA, USA, 2009
-
(2009)
Proc. Int. Conf. Embedded Netw. Sens. Syst. (ACM SenSys)
-
-
Brouwers, N.1
Langendoen, K.2
Corke, P.3
-
93
-
-
84964460983
-
PyFUNS: A python framework for ubiquitous networked sensors
-
Porto, Portugal, Feb
-
S. Bocchino, S. Fedor, and M. Petracca, "PyFUNS: A python framework for ubiquitous networked sensors," in Proc. Eur. Conf. Wireless Sens. Netw. (EWSN), Porto, Portugal, Feb. 2015
-
(2015)
Proc. Eur. Conf. Wireless Sens. Netw. (EWSN)
-
-
Bocchino, S.1
Fedor, S.2
Petracca, M.3
-
94
-
-
84905683435
-
Indriya: A lowcost, 3D wireless sensor network testbed
-
M. Doddavenkatappa, M. C. Chan, and A. Ananda, "Indriya: A lowcost, 3D wireless sensor network testbed," in Proc. Conf. Testbeds Res. Infrastruct. Develop. Netw. Communities (TridentCom), 2011
-
(2011)
Proc. Conf. Testbeds Res. Infrastruct. Develop. Netw. Communities (TridentCom)
-
-
Doddavenkatappa, M.1
Chan, M.C.2
Ananda, A.3
-
95
-
-
84987787228
-
-
Travis CI. [Online]. Available: https://travis-ci.org
-
-
-
-
98
-
-
84987845028
-
-
(2008-2014)
-
M. Günes et al. (2008-2014). "DES-testbed," [Online]. Available: http:// www.des-testbed.net
-
-
-
Günes, M.1
-
101
-
-
70649094180
-
Formalizing FreeRTOS first steps
-
M. Oliveira and J. Woodcock, Eds. New York, NY, USA: Springer
-
D. Déharbe, S. Galvão, and A. Moreira, "Formalizing FreeRTOS: First steps," in Formal Methods: Foundations and Applications, M. Oliveira and J. Woodcock, Eds. New York, NY, USA: Springer, 2009, vol. 5902, pp. 101-117 [Online]. Available: http://dx.doi.org/10.1007/978-3-642-10452-7-8
-
(2009)
Formal Methods: Foundations and Applications
, vol.5902
, pp. 101-117
-
-
Déharbe, D.1
Galvão, S.2
Moreira, A.3
-
102
-
-
84872971449
-
Verifying FreeRTOS; A feasibility study
-
Delt, The Netherlands, Tech. Rep
-
C. Pronk, "Verifying FreeRTOS; A feasibility study," Softw. Eng. Res. Group, Delft Univ. Technol., Delt, The Netherlands, Tech. Rep., 2010
-
(2010)
Softw. Eng. Res. Group, Delft Univ. Technol
-
-
Pronk, C.1
-
103
-
-
84987787246
-
Gartner study: Makers and startups are the ones shaping the internet of things
-
P. Basiliere and J. Tully, "Gartner study: Makers and startups are the ones shaping the internet of things," Maverick Res., Gartner, 2014
-
(2014)
Maverick Res., Gartner
-
-
Basiliere, P.1
Tully, J.2
|