Вы здесь

Главная

легализация

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

Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012
AI*IA 2013: Advances in Artificial Intelligence: Proc./XIIIth International Conference of the Italian Association for AI, Turin, Italy, December 2013
Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020
Automated Technology for Verification and Analysis: Proc./19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 2021
Biomedical Image Recognition: Proc./8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 2018
Cellular Automata: Proc./9th International Conference on CA for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 2010
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Computer Performance Engineering: Proc./15th European Workshop, EPEW 2018, Paris, France, October 2018
Dependable Software Engineering: Proc./6th International Symposium, SETTA 2020, Guangzhou, China, November 2020
Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021
Digital Human Modeling: Proc./Third International Conference, ICDHM 2011 Held as Part of HCI International 2011, Orlando, FL, USA, July 2011
Evaluating Systems for Multilingual and Multimodal Infomation Access: Revised Selected Papers/9th Workshop ofthe Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 2008
FM 2011: Formal Methods: Proc./17th International Symposium on Formak Methods, Limerick, Ireland, June 2011
Formal Aspects of Component Software: Proc./17th International Conference, FACS 2021, Virtual Event, October 2021
Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016
Formal Methods and Software Engineering: Proc./18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 2016
Formal Methods and Software Engineering: Proc./19th International Conference on FEM, ICFEM 2017, Xi an, China, November 2017
Formal Methods for Industrial Critical Systems: Proc./19th International Conference, FMICS 2014, Florence, Italy, September 2014
Formal Methods for Industrial Critical Systems: Proc./26th International Conference, FMICS 2021, Paris, France, August 2021
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: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021
Formal Methods Teaching: Proc./4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 2021
Formal Modeling and Analysis of Timed Systems: Proc./19th International Conference, FORMATS 2021, Paris, France, August 2021
Formal Techniques for Distributed Objects, Components, and Systems: Proc./40th IFIP WG 6/1 International Conference, FORTE 202, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020
Formal Techniques for Distributed Objects, Components, and Systems: Proc./41st IFIP WG 6.1 International Conference, FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021
Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021
Functional Imaging and Modeling of the Heart: Proc./11th International Conference, FIMH 2021, Stanford,CA,USA, June 2021
Fundamental Approaches to Software Engineering: Proc./24th International Conference, FASE 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Future Internet Testing: Revised Selected Papers/1st International Workshop, FITTEST 2013, Istanbul, Turkey, November 2013
Industrial Applications of Holonic and Multi-Agent Systems: Proc./7th International Conference, HoloMAS 2015, Valencia, Spain, September 2015
Integrated Formal Methods: Proc./16th International Conference, IFM 2020, Lugano, Switzerland, November 2020
Knowledge Engineering and Knowledge Management: Proc./18th Iternational Conference, EKAW 2012, Galway City, Ireland, October 2012
Leveraging Applications of Formal Methods, Verification, and Validation, Part II: Proc./4th International Symposium on LA, ISoLA 2010, Heraclion, Grete, Greece, October 2010
Leveraging Applications of Formal Methods, Verification, and Validation, Part I: Proc./4th International Symposium on LA, ISoLA 2010, Heraklion,Grete,Greece, October 2010
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Verification Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021
Logic-Based Program Synthesis and Transformation: Proc./30th International Symposium, LOPSTR 2020, Bologna, Italy, September 2020
Logoc-Based Program Synthesis and Transformation: Revised Selected Papers/29th International Symposium, LOPSTR 2019, Porto, Portugal, October 2019
Mastering Scale and Complexity in Software Reuse: Proc./16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 2017
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th Birthday
Model-Driven Simulation and Training Environments for Cybersecurity: Revised Selected Papers/2nd International Workshop, MSTC 2020, Guildford,UK,September 2020
Multi-Agent-Based Simulation XII: Revised Selected Papers/ International Workshop, MABS 2011, Taipei, Taiwan, May 2011
NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020