EIT Digital

Có 7 khóa học

Cung cấp bởi: Coursera  /  EIT Digital

Công nghệ thông tin / Bảo mật thông tin

Introduction to Architecting Smart IoT Devices

12 hours / Dạy bằng Tiếng Anh / Miễn phí 

What will you learn?
xem thêm...
"]

Đăng ký học

Add to Wishlist

my wish list...

Cung cấp bởi: Coursera  /  EIT Digital

Công nghệ thông tin / Phát triển Phần mềm

System Validation (3): Requirements by modal formulas

3 giờ / Dạy bằng Tiếng Anh / Miễn phí 

System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do....
xem thêm...
"]

Đăng ký học

Add to Wishlist

my wish list...

Cung cấp bởi: Coursera  /  EIT Digital

Công nghệ thông tin / Phát triển Phần mềm

Capstone: Autonomous Runway Detection for IoT

30 giờ / Dạy bằng Tiếng Anh / Miễn phí 

This capstone project course ties together the knowledge from three previous courses in IoT though embedded systems: Development of Real-Time Systems Web Connectivity & Security and Embedded Hardware and Operating Systems. The students will develop a larger system using the learning outcomes from these courses and the students...
xem thêm...
"]

Đăng ký học

Add to Wishlist

my wish list...

Cung cấp bởi: Coursera  /  EIT Digital

Công nghệ thông tin / Phát triển Phần mềm

System Validation (4): Modelling Software Protocols and other behaviour

4 giờ / Dạy bằng Tiếng Anh / Miễn phí 

System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do....
xem thêm...
"]

Đăng ký học

Add to Wishlist

my wish list...

Cung cấp bởi: Coursera  /  EIT Digital

Công nghệ thông tin / Phát triển Phần mềm

Automated Reasoning: Symbolic Model Checking

13 giờ / Dạy bằng Tiếng Anh / Miễn phí 

This course presents how properties of acting systems and programs can be verified automatically. The basic notion is a transition system: any system that can be described by states and steps. We present how in CTL (computation tree logic) properties like reachability can be described.
xem thêm...
"]

Đăng ký học

Add to Wishlist

my wish list...

Cung cấp bởi: Coursera  /  EIT Digital

Công nghệ thông tin / Phát triển Phần mềm

System Validation (2): Model process behaviour

4 giờ / Dạy bằng Tiếng Anh / Miễn phí 

System Validation is the field that studies the fundamentals of system communication and information processing. It is the next logical step in computer science and improving software development in general. It allows automated analysis based on behavioural models of a system to see if a system works correctly....
xem thêm...
"]

Đăng ký học

Add to Wishlist

my wish list...

Cung cấp bởi: Coursera  /  EIT Digital

Công nghệ thông tin / Phát triển Phần mềm

Embedded Hardware and Operating Systems

17 giờ / Dạy bằng Tiếng Anh / Miễn phí 

This course is intended for the Bachelor and Master's students who like practical programming and making IoTs applications!
xem thêm...
"]

Đăng ký học

Add to Wishlist

my wish list...
Scroll to Top