Real-time data processing - Congresses.

Sensing Issues in Civil Structural Health Monitoring by: (書目-語言資料,印刷品)

Formal methods for software architectures = Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Hybrid and real-time systems = international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques in real-time and fault-tolerant systems = 5th international symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for real-time and probabilistic systems = 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques in real-time and fault-tolerant systems = 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 / by: (書目-語言資料,印刷品)

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/ by: (書目-語言資料,印刷品)