Вы здесь

Главная

формальный метод

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

Model and Data Engineering: Proc./9th International Conference, MEDI 2019, Toulouse, France, October 2019
Model and Data Engineering: Proc./First International Conference, MEDI 2011, Obidos, Portugal, September 2011
Model-Based Safety and Assessment: Proc./5th International Symposium, IMBSA 2017, Trento, Italy, September 2017
Model Checking and Artificial Intelligence: Revised Selected and Invited Papers/5th International Workshop, MoChArt 2008. Patras, Greece, July 2008
Model Checking and Arttificial Intelligence: Revised Selected and Invited Papers/6th International Workshop, MoChArt 2010, Atlanta,GA,USA, July 2010
Model Checking Software: Proc./15th International SPIN Workshop. LA, USA, August 2008
Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009
Model Checking Software: Proc./17th International SPIN Workshop, Enschede, The Netherlands, September 2010
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
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Modelling Foundations and Applications: Proc./10th European Conference, ECMFA 2014 Held as Part of STAF 2014, York, UK, July 2014
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models in Software Engineering: Reports and Revised Selected Papers/ Workshop and Symposia at MODELS 2008, Toulouse, France, September/October 2009
Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2010
Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Monotonicity in Logic and Language: Proc./2nd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM, 2020, Beijing, China, December 2020
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019
NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021
NASA Formal Methods: Proc./6th International Symposium, NFM 2014, Houston,TX,USA, April 2014
NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016
NASA Formal Methods: Proc./9th International Symposium, NFM 2017, Moffett Field,CA,USA, May 2017
Networked Systems: Proc./5th International Conference, NETYS 2017, Marrakech, Morocco, May 2017
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Preface: A Step Towards Verified Software
Programming Languages and Systems: Proc./23rd European Symposium on Programming, ESOP 2014 Held as Part of the ETASPS 2014, Grenoble, France, April 2014
Quantitative Evaluation of Systems: Proc./11th International Conference, QEST 2014, Florence, Italy, September 2014
Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019
Quantitative Evaluation of Systems: Proc./17th International Conference, QEST 2020, Vienna, Austria, September 2020
Quantitative Evaluation of Systems: Proc./18th International Conference, QEST 2021, Paris, France, August 2021
Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014
Reasoning Web. Semantic Technologies for the Web of Data: Tutorial Lectures/7th International Summer School 2011, Galwey, Ireland, August 2011
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/19th International Workshop, WADT 2008. Pisa, Italy, June 2008
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 2016
Relations and Kleene Algebra in Computer Sciece: Proc./10th Intl Conf on Relational Methods in CS & 5th Intl Conf on Applications of Kleene Algebra, RelMiCS/AKA 2008. Frauenwoerth, Germany, April 2008
Reliable Software Technologies - Ada-Europe 2011: Proc./16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 2011
Reliable Software Technologies - Ada-Europe 2014: Proc./19th Ada-Europe International Conference on RST, Paris, France, June 2014
Requirements Engineering: Foundation for Software Quality: Proc./20th International Working Conference, REFSQ 2014, Essen, Germany, April 2014
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405
Reversible Computation: Proc./ 5th International Conference, RC 2013, Victoria,DC,Canada. July 2013
Reversible Computation: Proc./6th International Conference, RC 2014, Kyoto, Japan, July 2014
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020
Rigorous State-Based Methods: Proc./8th International Conference, ABZ 2021, Ulm, Germany, June 2021
Risk and Security of Internet and Systems: Revised Selected Papers/15th International Conference, CRiSIS 2020, Paris, France, November 2020
Runtime Verification: Revised Selected Papers/7th International Workshop, RV 2007. Vancouver, Canada, March 2007
Runtime Verification: Selected Papers/9th International Workshop, RV 2009. Grenoble, France, June 2009