Suggested Topics within your search.
Showing 1 - 20 results of 521 for search '', query time: 0.15s Refine Results
1
Type systems for distributed programs : components and sessions /
by Dardha, Ornela
[France] : Atlantis Press, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Book
2
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /
Switzerland : Springer, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
3
Proceedings of the ACM SIGSOFT ... Symposium on Software Testing, Analysis, and Verification

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding
4
Software verification and validation for practitioners and managers /
by Rakitin, Steven R.
Boston : Artech House, 2001
2nd ed.

Book
5
Verification and validation for quality of UML 2.0 models /
by Unhelkar, Bhuvan
Hoboken, N.J. : Wiley-Interscience Pub., 2005

Book
6
Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Berlin ; New York : Springer, 2004

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
7
Verification of infinite-state systems with applications to security /
Amsterdam ; Washington, D.C. : IOS Press, 2006

Conference Proceeding Book
8
Verification of sequential and concurrent programs /
by Apt, Krzysztof R., 1949-
Dordrecht ; New York : Springer, 2009
3rd, extended ed.

Book
9
Assurances for self-adaptive systems principles, models, and techniques /
Berlin ; New York : Springer, 2013

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Book
10
Verification, model checking, and abstract interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Berlin ; New York : Springer, 2013

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
11
Leveraging applications of formal methods, verification and validation. Technologies for mastering change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings.
Berlin ; New York : Springer, 2012

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
12
Theory and application of satisfiability testing--SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /
Berlin : Springer, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
13
HLDVT '10 conference proceedings : IEEE International High Level Design Validation and Test Workshop : June 11-12, 2010, Anaheim Convention Center, Anaheim, CA.
[Piscataway, N.J.] : IEEE, 2010

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
14
2007 IEEE International High Level Design Validation and Test Workshop proceedings : November 7-9, 2007, Irvine, California /
Piscataway, NJ : IEEE, 2007

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
15
Theory and applications of satisfiability testing-- SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Berlin ; New York : Springer, 2012

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
16
Guidance for the verification and validation of neural networks
by Pullum, Laura L., Taylor, Brian J., Darrah, Majorie A.
Los Alamitos, Calif. : Hoboken, N.J. : IEEE Computer Society ; J. Wiley, 2007

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Book
17
Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings /
Berlin ; New York : Springer, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
18
Computer Aided Verification 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
Berlin ; New York : Springer, 2012

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
19
NASA formal methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Berlin ; New York : Springer, 2012

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
20
Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings /
Cham : Springer, 2023

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search