Principles of concurrent and non-concurrent synchronisation, and the tools and techniques for the development of event-driven and/or polled critical systems.
Principles of concurrent and non-concurrent synchronisation, and the tools and techniques for the development of event-driven and/or polled critical systems.