Covers systems engineering, project management, quality assurance, and space mechanisms, emphasizing the importance of proper requirements and verification.
Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
