FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. Formal Methods for Industrial Critical Systems [electronic resource] :17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /

by Stoelinga, Mariëlle [editor.] | Pinger, Ralf [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 : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

2. Quantitative Evaluation of Systems [electronic resource] :10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /

by Joshi, Kaustubh [editor.] | Siegle, Markus [editor.] | Stoelinga, Mariëlle [editor.] | D’Argenio, Pedro R [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 : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

3. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [electronic resource] :International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /

by Remke, Anne [editor.] | Stoelinga, Mariëlle [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 : Imprint: Springer, 2014.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