-
NASA Formal Methods – 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Goodloe, Alwyn E. ; Person, Suzette 2012 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Flanagan, Cormac ; König, Barbara 2012 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Birkedal, Lars 2012 Springer Berlin Heidelberg
-
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance – 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
Müller-Clostermann, Bruno 2012 Springer Berlin Heidelberg
-
Language and Automata Theory and Applications – 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Dediu, Adrian-Horia ; Martín Vide, Carlos 2012 Springer Berlin Heidelberg
-
Data Engineering and Management – Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
Kannan, Rajkumar ; Andres, Frederic 2012 Springer Berlin Heidelberg
-
Foundations of Information and Knowledge Systems – 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Lukasiewicz, Thomas ; Sali, Attila 2012 Springer Berlin Heidelberg
-
Technological Innovation for Value Creation – Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings
Camarinha-Matos, Luis M. ; Shahamatnia, Ehsan ; Nunes, Gonçalo 2012 Springer Berlin Heidelberg
-
Theory of Security and Applications – Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
Mödersheim, Sebastian ; Palamidessi, Catuscia 2012 Springer Berlin Heidelberg
-
Information Computing and Applications – Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
2011 Springer Berlin Heidelberg
-
Formal Methods for Components and Objects – 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Aichernig, Bernhard K. ; Boer, Frank S. de ; Bonsangue, Marcello M. 2012 Springer Berlin Heidelberg
-
Information Computing and Applications – Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings
2011 Springer Berlin Heidelberg
-
Software Engineering, Business Continuity, and Education – International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Kim, T'ae-hun ; Adeli, Hojjat ; Kim, Kwang-hŏn ; Kang, Heau-jo ; Kim, Kyung Jung ; Kiumi, Akingbehin ; Kang, Byeong Ho 2011 Springer Berlin Heidelberg
-
Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo 2011 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
2011 Springer Berlin Heidelberg
-
Model Driven Engineering Languages and Systems – 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
2011 Springer Berlin Heidelberg
-
Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
-
Formal Modeling and Analysis of Timed Systems – 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Fahrenberg, Uli ; Tripakis, Stavros 2011 Springer Berlin Heidelberg
-
Verification of Digital and Hybrid Systems
İnan, M. Kemal 2000 Springer Berlin Heidelberg