Principles of cyber-physical systems /Author: Alur, Rajeev,
Publisher: Cambridge, Massachusetts ; The MIT Press,
Date: [2015] This title can be found in 2 Iowa libraries.
Formal methods applied to complex systems : implementation of the B Method /Publisher: London : ISTE ;
Date: 2014. This title can be found in 1 Iowa libraries.
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 methods in manufacturing systems : recent advances /Publisher: Hershey, PA : Engineering Science Reference,
Date: [2013] 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.
Communicating embedded systems : software and design : formal methods /Publisher: London : ISTE ;
Date: 2010. This title can be found in 1 Iowa libraries.
Modeling in Event-B : system and software engineering /Author: Abrial, Jean-Raymond.
Publisher: Cambridge ; Cambridge University Press,
Date: 2010. This title can be found in 1 Iowa libraries.
Teamwork in multi-agent systems : a formal approach /Author: Dunin-K€♭plicz, Barbara
Publisher: Hoboken, NJ : John Wiley,
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.
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.