Formal methods (Computer science)
概要
| 作品: | 81 作品在 73 項出版品 73 種語言 | |
|---|---|---|
書目資訊
Modeling and verification using UML statecharts :a working guide to reactive system design, runtime monitoring and execution-based model checking /
by:
(書目-語言資料,印刷品)
System specification and design languages[electronic resource] :selected contributions from FDL 2010 /
by:
(書目-語言資料,印刷品)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(書目-語言資料,印刷品)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal ontology in information systems[electronic resource] :proceedings of the seventh International Conference (FOIS 2012) /
by:
(書目-語言資料,印刷品)
Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Formal grammar[electronic resource] :19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2013 /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems[electronic resource] :a survey of applications /
by:
(書目-語言資料,印刷品)
Formal methods applied to complex systems[electronic resource] :implementation of the B Method /
by:
(書目-語言資料,印刷品)
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(書目-電子資源)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer performance engineering[electronic resource] :12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2014 /
by:
(書目-語言資料,印刷品)
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
主題