Search Results for Software engineering - Narrowed by: Graf, Susanne SirsiDynix Enterprise https://eps.ntu.edu.sg/client/en_GB/OPAC/OPAC/qu$003dSoftware$002bengineering$0026qf$003dAUTHOR$002509Author$002509Graf$00252C$002bSusanne.$002509Graf$00252C$002bSusanne$0026ps$003d300?dt=list 2019-10-21T05:00:37Z eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:608324 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Formal Methods for Components and Objects [electronic resource] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures<br/>by&#160;Hutchison, David.&#160;Kittler, Josef.&#160;Steffen, Bernhard.&#160;Roever, Willem-Paul.&#160;Pandu Rangan, C.<br/>Published&#160;2008.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-540-92188-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:610854 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Formal Methods for Components and Objects [electronic resource] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures<br/>by&#160;Hutchison, David.&#160;Boer, Frank S.&#160;Bonsangue, Marcello M.&#160;Graf, Susanne.&#160;Kanade, Takeo.<br/>Published&#160;2008.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-540-92188-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:552358 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures<br/>by&#160;Boer, Frank S.&#160;Bonsangue, Marcello M.&#160;Graf, Susanne.&#160;Roever, Willem-Paul.&#160;SpringerLink (Online service)<br/>Published&#160;2007.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-540-74792-5">e-book</a><br/>Note&#160;V42 no1-9, Jan-Jun 2000<br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:524926 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Formal Methods for Components and Objects (vol. # 4111) [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures<br/>by&#160;Boer, Frank S. de.&#160;Bonsangue, Marcello M.&#160;de Roever, Willem-Paul.&#160;Graf, Susanne.&#160;SpringerLink (Online service)<br/>Published&#160;2006.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/11804192">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:525132 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Automated Technology for Vertification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings<br/>by&#160;Graf, Susanne.&#160;Zhang, Wenhui.&#160;SpringerLink (Online service)<br/>Published&#160;2006.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/11901914">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:521583 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Formal Methods for Components and Objects (vol. # 3657) [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures<br/>by&#160;Bonsangue, Marcello M.&#160;Boer, Frank S. de.&#160;de Roever, Willem-Paul.&#160;Graf, Susanne.&#160;SpringerLink (Online service)<br/>Published&#160;2005.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/11561163">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1192476 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Model Checking Software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings<br/>by&#160;Graf, Susanne.&#160;Mounier, Laurent.&#160;SpringerLink (Online service)<br/>Published&#160;2004.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b96721">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1192746 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Formal Methods for Components and Objects [electronic resource] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures<br/>by&#160;Boer, Frank S.&#160;Bonsangue, Marcello M.&#160;Graf, Susanne.&#160;Roever, Willem-Paul.&#160;SpringerLink (Online service)<br/>Published&#160;2004.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b100112">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1194876 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Formal Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures<br/>by&#160;Boer, Frank S.&#160;Bonsangue, Marcello M.&#160;Graf, Susanne.&#160;Roever, Willem-Paul.&#160;SpringerLink (Online service)<br/>Published&#160;2003.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b14033">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196578 2019-10-21T05:00:37Z 2019-10-21T05:00:37Z Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 &ndash; April 2, 2000 Proceedings<br/>by&#160;Graf, Susanne.&#160;Schwartzbach, Michael.&#160;SpringerLink (Online service)<br/>Published&#160;2000.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-46419-0">e-book</a><br/>