Thời gian thực - hệ thống P2

Chia sẻ: Va Line Line | Ngày: | Loại File: PDF | Số trang:31

lượt xem

Thời gian thực - hệ thống P2

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

ANALYSIS AND VERIFICATION OF NON-REAL-TIME SYSTEMS A great collection of techniques and tools are available for the reasoning, analysis, and verification of non-real-time systems. This chapter explores the basic foundations of these techniques that include symbolic logic, automata, formal languages, and state transition systems. Many analysis and verification techniques for real-time systems are based on these untimed approaches, as we will see in later chapters.

Chủ đề:

Nội dung Text: Thời gian thực - hệ thống P2

Đồng bộ tài khoản