Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) /Publisher: Amsterdam : IOS Press,
Date: [2014] This title can be found in 1 Iowa libraries.
Formal ontology in information systems : proceedings of the seventh International Conference (FOIS 2012) /Publisher: Amsterdam ; IOS Press,
Date: c2012. This title can be found in 1 Iowa libraries.
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings /Publisher: Berlin : Springer,
Date: 2010. This title can be found in 1 Iowa libraries.
Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Web services and formal methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Formal methods for Web services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Theoretical aspects of computing -- ICTAC 2009 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Formal methods foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
FM 2009 formal methods : Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Runtime verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 ; revised selected papers /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Language engineering and rigorous software development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Computer performance engineering 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer-Verlag,
Date: c2009. This title can be found in 1 Iowa libraries.
Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Foundations and applications of security analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Leveraging applications of formal methods, verification and validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /Format: [electronic resource] :
Publisher: [Berlin] : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.