Formal Methods for Industrial Critical Systems: 14th...

Main
Computers - Computer Science
Formal Methods for Industrial Critical...

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

0 / 5.0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

వర్గాలు:

Computers - Computer Science

సంవత్సరం:

2009

ముద్రణం:

1

ప్రచురణకర్త:

Springer-Verlag Berlin Heidelberg

భాష:

english

పేజీల సంఖ్య:

213

ISBN 10:

3642045707

ISBN 13:

9783642045707

పుస్తక శ్రేణి:

Lecture Notes in Computer Science 5825 : Programming and Software Engineering

ఫైల్:

PDF, 10.43 MB

IPFS:

,

english, 2009

ఆన్‌లైన్‌లో చదవండి

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) — Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.) — Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Peter Csaba Ölveczky, Gwen Salaün — Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa — Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Steve Counsell, Manuel Núñez (eds.) — Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Clark Barrett and Misty Davies — NASA Formal Methods

Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.) — FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Ethan K. Jackson, Wolfram Schulte (auth.), Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (eds.) — Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) — Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.) — Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.) — Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Patrice Godefroid (auth.), Corina S. Păsăreanu (eds.) — Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.) — Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) — FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.) — Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.) — Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.) — Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Alessio Ferrari, Daniele Grasso (auth.), Stefan Kowalewski, Marco Roveri (eds.) — Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.) — Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.) — Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.) — NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.) — Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

José Meseguer (auth.), Farhad Arbab, Peter Csaba Ölveczky (eds.) — Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.) — Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Erika Ábrahám, Catuscia Palamidessi (eds.) — Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June

కీలక పదబంధాలు