Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Model-Based Engineering of Embedded Real-Time Systems:...

Main
Computers - Hardware
Model-Based Engineering of Embedded...

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)

0 / 4.0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Computers - Hardware

Год:

2010

Издание:

1

Издательство:

Springer-Verlag Berlin Heidelberg

Язык:

english

Страницы:

385

ISBN 10:

3642162770

ISBN 13:

9783642162770

Серия:

Lecture Notes in Computer Science 6100 : Programming and Software Engineering

Файл:

PDF, 7.00 MB

IPFS:

,

english, 2010

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Colin Atkinson (auth.), Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (eds.) — Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 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

Justyna Zander (Editor); Ina Schieferdecker (Editor); Pieter J. Mosterman (Editor) — Model-Based Testing for Embedded Systems

Zander, Justyna — Model-Based Testing for Embedded Systems

Christoph Grimm — Languages for System Specification

Ferhat Khendek, Reinhard Gotzhein — System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering: 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

Slimane Hammoudi, Luís Ferreira Pires, Bran Selic — Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018

Slimane Hammoudi, Luís Ferreira Pires, Bran Selić — Model-Driven Engineering and Software Development

Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher (eds.) — System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Zhiming Liu, Zili Zhang (eds.) — Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen (eds.) — Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

Tiziana Margaria, Bernhard Steffen (eds.) — Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Anthony Anjorin, Huáscar Espinoza (eds.) — Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Desfray, Philippe; Ferraira Pires, Luís; Hammoudi, Slimane; Selic, Bran — Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers

Luís Ferreira Pires, Slimane Hammoudi, Bran Selic — Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017

David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.) — Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Martin Wirsing, Alexander Knapp, Simonetta Balsamo — Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Xinjun Mao, Eric Yu (auth.), James Odell, Paolo Giorgini, Jörg P. Müller (eds.) — Agent-Oriented Software Engineering V: 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (eds.) — Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.) — Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Michel Charpentier (auth.), Ralf-Detlef Kutsche, Herbert Weber (eds.) — Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Jörg Kienzle, Jeff Gray, Dominik Stein, Walter Cazzola, Omar Aldawud, Tzilla Elrad (auth.), Holger Giese (eds.) — Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

Jan Bosch (auth.), Matthew B. Dwyer, Antónia Lopes (eds.) — Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Juergen Dingel (auth.), Sudipto Ghosh (eds.) — Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.) — Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Colin Atkinson (auth.), Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (eds.) — Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

Colin Atkinson (auth.), Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (eds.) — Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.) — Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

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

Bernhard Schätz, Brian Elvesæter (auth.), Juergen Dingel, Arnor Solberg (eds.) — Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

Wilhelm Schäfer (auth.), Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige (eds.) — Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

Joerg Evermann, Ivan Porres (auth.), Jörg Kienzle (eds.) — Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Joerg Evermann, Ivan Porres (auth.), Jörg Kienzle (eds.) — Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Ed Seidewitz (auth.), Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos (eds.) — Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

Ed Seidewitz (auth.), Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos (eds.) — Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

Ключевые слова