Have the latest news mailed to you by subscribing to the mailing list of the IEEE Real-Time Technical Committee . We are soliciting articles of interest to the community. We would like to highlight your project, bring about a collaboration, publicize an opportunity, or discuss future visions and directions in our field. The symposium is on 20-22 September 2000 in Pune, India. These systems are complex and have critical timing and reliability requirements.
Formal techniques provide a foundation for the systematic design of complex systems.
They have been used effectively throughout the software engineering process, from the capture of requirements to the definition and verification of system specifications, the design, coding and implementation of a system and down to the hardware, which embeds the system into its environment. This page is hosted by John Stankovic and Tarek Abdelzaher .