Suggested Topics within your search.
Showing 1 - 20 results of 146 for search '', query time: 0.35s Refine Results
1
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
2
Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
3
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
4
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
5
Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings /
Cham : Springer, 2022

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
6
Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings /
Cham : Springer, 2022

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
7
Proceedings, Software Engineering and Formal Methods 14-18 September 2010, Pisa, Italy.
Los Alamitos, Calif. : IEEE Computer Society, 2010

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
8
Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 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
9
Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings /
Cham : Springer, 2022

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
10
FM 2012 formal methods ; 18th International Symposium, Paris, France, August 27-31, 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
11
Formal aspects of component software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers /
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
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016 /
Cham : Springer, 2018

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
13
Formal aspects of component software : 18th international conference, FACS 2022, virtual event, November 10-11, 2022, proceedings /
Cham, Switzerland : Springer, 2022

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
14
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013 /
Cham : Springer, 2014

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
15
Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-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
16
Formal methods and software engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 /
Cham : Springer, 2022

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
17
Integrated formal methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 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
18
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
Berlin : Springer-Verlag, 2004

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
19
System specification and design languages selected contributions from FDL 2010 /
New York, NY : 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
Formal methods and software engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /
Berlin : Springer, 2012

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