Embedded Software Development
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By CRC Press

9781315215600
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Device Driver Development

2017 ◽  
pp. 199-240
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu
Keyword(s):  
Device Driver ◽  
Driver Development

Concurrent Programming Techniques

2017 ◽  
pp. 105-136
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu
Keyword(s):  
Concurrent Programming ◽  
Programming Techniques

Embedded Applications and Their Requirements

2017 ◽  
pp. 9-38
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu
Keyword(s):  
Embedded Applications

Model Checking of Distributed and Concurrent Systems

2017 ◽  
pp. 377-406
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu
Keyword(s):  
Model Checking ◽  
Concurrent Systems

Performance and Footprint at the Toolchain Level

2017 ◽  
pp. 299-342
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu

Scheduling Algorithms and Analysis

2017 ◽  
pp. 137-162
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu
Keyword(s):  
Scheduling Algorithms

Security and Dependability Aspects

2017 ◽  
pp. 467-506
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu

Model Checking: An Example

2017 ◽  
pp. 407-426
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu
Keyword(s):  
Model Checking

Example: A Modbus TCP Device

2017 ◽  
pp. 343-374
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu

The FreeRTOS Porting Layer

2017 ◽  
pp. 275-298
Author(s):  
Ivan Cibrario Bertolotti ◽  
Tingting Hu
Load More ...
Sign in / Sign up

Export Citation Format

Share Document