Вы здесь

Главная

встроенная система

Связанные издания:

Computer Performance Engineering: Proc./7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 2010
Computer Safety, Reliability, and Security: SAFECOMP 2021 Workshops: Proc./DECSoS, MAPSOD, DepDevOps, USDAL, and WAISE, York, UK, September 2021
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Coordination Models and Languages: Proc./22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020
Coordination Models and Languages: Proc./8th International Conference, COORDINATION 2006. Bologna, Italy, June 2006
Critical Information Infrastructures Security: Revised Selected Papers/16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 2021
Cyber Physical Systems: Design, Modeling, and Evaluation: Revised Selected Papers/7th International Workshop, CyPhy 2017, Seoul, South Korea, October 2017
Cyber Physical Systems: Model-Based Design: Revised Selected Papers/8th International Workshop, CyPhy 2018 and 14th International Workshop, WESE 2018, Turin, Italy, October 2018
Cyber Physical Systems: Model-Based Design: Revised Selected Papers/9th International Workshop, CyPhy 2019 and 15th International Workshop, WESE 2019, Ney York City,NY,USA, October 2019
Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WELP, Cottbus, Germany, September 2019,
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Dependable Software Engineering: Proc./6th International Symposium, SETTA 2020, Guangzhou, China, November 2020
Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018
Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021
Distributed Applications and Interoperable Systems: Proc./10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 2010
Dynamic Logic: New Trends and Applications: Revised Selected Papers/3rd International Workshop, DaLi 2020, Prague, Czech Republic, October 2020
Embedded and Ubiquitous Computing: Proc./International Conference, EUC 2006. Seoul, Korea, August 2006
Embedded and Ubiquitous Computing: Proc./International Conference, EUC 2007. Taipei, Taiwan, December 2007
Embedded Computer Systems: Architectures, Modeling, and Simulation: Proc./20th International Conference, SAMOS 2020, Samos, Greece, July 2020
Embedded Computer Systems: Architectures, Modeling, and Simulation: Proc./6th International Workshop, SAMOS 2006. Samos, Greece, July 2006
Embedded Computer Systems: Architectures, Modeling, and Simulation: Proc./8th International Workshop, SAMOS 2008. Samos, Greece, July 2008
Embedded Computer Systems: Architectures, Modeling, and Simulation: Proc./9th International Workshop, SAMOS 2009. Samos, Greece, July 2009
Embedded Software and Systems: Proc./Third International Conference, ICESS 2007. Daegu, Korea, May 2007
Emerging Directions in Embedded and Ubiquitous Computing: Proc./EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ. Taipei, Taiwan, December 2007
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
Euro-Par 2020: Parallel Processing: Proc./26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 2020
Evaluation of a Java Ahead-of-Time Compiler for Embedded Systems
Evolving OpenMP in an Age of Extreme Parallelism: Proc./5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 2009
Facing the Multicore-Challenge II: Aspects of New Paradigms and Technologies in Parallel Computing
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Formal Aspects of Component Software: Proc./17th International Conference, FACS 2021, Virtual Event, October 2021
Formal Methods and Software Engineering: Proc./21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 2019
Formal Methods and Software Engineering: Proc./22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 2021
Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods for Industrial Critical Systems: Proc./17th International Workshop, FMICS 2012, Paris, France, August 2012
Formal Methods for Industrial Critical Systems: Proc./19th International Conference, FMICS 2014, Florence, Italy, September 2014
Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018
Formal Methods for Industrial Critical Systems: Proc./25th International Conference, FMICS 2020, Vienna, Austria, September 2020
Formal Methods for Industrial Critical Systems: Proc./26th International Conference, FMICS 2021, Paris, France, August 2021
Formal Methods for Industrial Critical Systems: Revised Selected Papers/12th International Workshop, FMICS 2007. Berlin, Germany, July 2007
Formal Methods for Industrial Critical Systems: Revised Selected Papers/13th International Workshop, FMICS 2008. L Aquila, Italy, September 2008
Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010
Formal Methods: Foundations and Applications: Proc./23rd International Symposium, SBMF 2020, Ouro Preto, Brazil, November 2020
Formal Methods: Foundations and Applications: Proc./24th Brazilian Symposium, Virtual Event, December 2021
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Formal Methods Teaching: Proc./4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 2021
Formal Modeling and Analysis of Timed Systems: Proc./17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 2019
Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020
Formal Modeling and Analysis of Timed Systems: Proc./19th International Conference, FORMATS 2021, Paris, France, August 2021