Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
model checking
Связанные издания:
Software Model Checking Using Linear Constraints
Software Technologies: Applications and Foundations: Revised Selected Papers/STAF 2018 Collocated Workshops, Toulouse, France, June 2018
Software Verification: Revised Selected Papers/12th International Conference, VSTTE 2020 and 13th International Workshop,, NSV 2020, Los Angeles,CA,USA, July 2020
Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021
Some Complexity Results for System Verilog Assertions
Some Results on the Expressive Power and Complexity of LSCs
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Static Analysis: Proc./13th International Symposium, SAS 2006. Seoul, Korea, August 2006
Static Analysis: Proc./18th International Symposium, SAS 2011, Venice, Italy, September 2011
Static Analysis: Proc./21st International Symposium, SAS 2014, Munich, Germany, September 2014
Static Analysis: Proc./23rd International Symposium, SAS 2016, Edinburgh, UK, September 2016
Static Analysis: Proc./25th International Symposium, SAS 2018
Static Analysis: Proc./26th International Symposium, SAS 2019, Porto, Portugal, October 2019
Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 2012
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/3rd International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 2013
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/4th International Workshop, SOFL+MSVL 2014, Luxembourg, November 2014
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/5th International Workshop, SOFL+MSVL 2015, Paris, France, November 2015
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 2016
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017
Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Symbolic Execution with Abstract Subsumption Checking
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the Fly Transactions
Symbolic Model Checking of Stochastic Systems: Theory and Implementation
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
Symmetry Reduction for Probabilistic Model Checking
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
System Analysis and Modeling: Models and Reusability: Proc./8th Internatonal Conference, SAM 2014, Valencia, Spain, September 2014
Term Rewriting and Applications: Proc./18th International Conference, RTA 2007. Paris, France, June 2007
Testing of Software and Communication Systems: Proc./21st IFIP WG 6.0 Intl Conf., TESTCOM 2009 and 9th Intl WS, FATES 2009, Eindhoven, The Netherlands, November 2009
Testing - Practice and Research Techniques: Proc./5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 2010
Testing Software and Systems: Proc./22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 2010
Testing Software and Systems: Proc./25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 2013
Testing Software and Systems: Proc./32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 2020
Tests and Proofs: Proc./11th International Conference, TAP 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Tests and Proofs: Proc./12th International Conference, TAP 2018 Held as Part of STAF 2018, Toulouse, France, June 2018
Tests and Proofs: Proc./13th International Conference, TAP 2019 Held as Part of the 3rd World Congress on Formal Methods 2019, Porto, Portugal, October 2019
Tests and Proofs: Proc./14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 2020
Tests and Proofs: Proc./4th International Conference, TAP 2010, Malaga, Spain, July 2010
Tests and Proofs: Revised Papers/First International Conference, TAP 2007. Zurich, Switzerland, February 2007
Theoretical Aspects of Computing - ICTAC 2008: Proc./5th International Colloquium. Istanbul, Turkey, September 2008
Theoretical Aspects of Computing - ICTAC 2010: Proc./7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 2010
Theoretical Aspects of Computing - ICTAC 2012: Proc./9th International Colloquium, Bangalore, India, September 2012
Theoretical Aspects of Computing - ICTAC 2013: Proc./10th International Colloquium, Shanghai, China, September 2013
Theoretical Aspects of Computing - ICTAC 2017: Proc./14th International Colloquium, Hanoi, Vietnam, October 2017
Theoretical Aspects of Computing - ICTAC 2018: Proc./15th International Colloquium, Stellenbosch, South Africa, October 2018
Theoretical Aspects of Computing - ICTAC 2020: Proc./17th International Colloquium, Macau, China, November 2020
« первая
‹ предыдущая
…
3
4
5
6
7
8
9
10
11
следующая ›
последняя »