Pages that link to "Item:Q1582980"
From MaRDI portal
The following pages link to Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20--22, 2000. Proceedings (Q1582980):
Displaying 2 items.
- Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9--12, 2002. Proceedings. (Q1880565) (← links)
- Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures. (Q2492159) (← links)