Doporučená témata ve výsledcích tohoto hledání:
Zobrazuji výsledky 1 - 9 z 9 pro vyhledávání '', doba hledání: 0,29 s. Upřesnit hledání
1
Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
Cham : Springer, 2015

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
2
Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
Cham, Switzerland : Springer, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
3
Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers /
Cham : Springer, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
4
Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Cham, Switzerland : Springer, 2017

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
5
Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Cham, Switzerland : Springer, 2017

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
6
Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
Switzerland : Springer, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
7
Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Cham, Switzerland : Springer, 2018

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
8
Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
Cham : Springer, 2015

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
9
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
Cham : Springer, 2018

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Konferenční příspěvek Kniha
Vyhledávací nástroje: RSS — Poslat e-mailem — Uložit hledání