FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

|
1. Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings /

by Ravn, Anders P [editor.] | Rischel, Hans [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

2. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] :Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings /

by Lakhnech, Yassine [editor.] | Yovine, Sergio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in