Modern formal methods and applications /

Modern formal methods and applications /

57

Bibliographic Details
Main Author:	Gabbar, Hossam A
Format:
Language:	eng
Published:	Dordrecht : Springer, 2006
Subjects:	Formal methods (Computer science)

Similar Items

Understanding formal methods /
by: 273376 Monin, Jean-Francois
Published: (2003)

Abstractions and formal verification of max-plus linear systems
by: Syifaul Mufid, M
Published: (2021)

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
by: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), et al.
Published: (2007)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
by: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
Published: (2007)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
by: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
Published: (2005)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
by: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), et al.
Published: (2006)

Formalization of Methods in Criminalistics
by: L. P. Grynko
Published: (2019-12-01)

Formal Methods : Applications And Technology :11th International Workshop, FMICS 2006 And 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
by: International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany), et al.
Published: (2007)

Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
by: Cong-Vinh, Phan
Published: (c201)

Learning symbolic abstractions from system execution traces
by: Yogananda Jeppu, N
Published: (2022)

Formal engineering for industrial software development : using the sofl method /
by: 263222 Liu, Shaoying
Published: (2004)

Software specification methods /
by: Habrias, Henri, et al.
Published: (2006)

Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
by: FAST 2006 (2006 : Hamilton, Ont.), et al.
Published: (2007)

Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-, et al.
Published: (c201)

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
by: EPEW 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Formal ontology in information systems : proceedings of the seventh International Conference (FOIS 2012) /
by: International Conference (FOIS) (7th : 2012), et al.
Published: (2012)

Design patterns formalization techniques /
by: Taibi, Toufik, 1969-
Published: (2007)

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /
by: FORMATS 2007 (2007 : Salzburg, Austria), et al.
Published: (2007)

Communicating embedded systems : software and design : formal methods /
by: Jard, Claude, et al.
Published: (2010)

Constructing correct software /
by: Cooke, John, 1947-
Published: (2005)

Formal analysis of modern security protocols in current standards
by: Horvat, M
Published: (2015)

Semantic model driven engineering
by: Milward, D
Published: (2020)

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
by: Jones, Cliff B., et al.
Published: (2007)

Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
by: FORTE 2007 (2007 : Tallinn, Estonia), et al.
Published: (2007)

A formal refinement framework for the systems modeling language
by: Jacobs, P
Published: (2015)

Formal verification of dynamical models via neural synthesis
by: Edwards, A
Published: (2024)

Agent technology from a formal perspective /
by: Rouff , Christopher A., et al.
Published: (2006)

DevFemOps: enhancing maintainability based on microservices using formal engineering methods
by: Tetsuo Fukuzaki, et al.
Published: (2022-12-01)

Spesifikasi formal bagi keperluan sistem pengurusan inventori teragih LKPP Corporation Sdn. Bhd. menggunakan teknik Z /
by: 186317 Nordiana Abdul Halim
Published: (2003)

Spesifikasi formal bagi keperluan sistem pengurusan inventori teragih LKPP Corporation Sdn. Bhd. menggunakan teknik Z [compact disc] /
by: 186317 Nordiana Abdul Halim
Published: (2003)

Aggregation of a heterogeneous population of solar panels: verification and control
by: Peruffo, A
Published: (2020)

Validated designs for object-oriented systems /
by: Fitzgerald, John, 1965-
Published: (2005)

METHODOLOGY OF ECONOMICS AND FORMALIZATION ISSUE IN SCIENCE
by: A. O. Ovcharov
Published: (2013-03-01)

Symbolic techniques for parameterised verification
by: Hong, CD
Published: (2022)

Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols
by: Sudhani Verma, et al.
Published: (2022-01-01)

Implementation of the Composition-nominative Approach to Program Formalization in Mizar
by: Ievgen Ivanov, et al.
Published: (2018-05-01)

Practical UML statecharts in C/C++ : event-driven programming for embedded systems /
by: 344883 Samek, Miro
Published: (2009)

Formal models, languages and applications /
by: 361113 Subramaniam, K. G., et al.
Published: (2006)

Concepciones acerca de la maternidad en la educación formal y no formal
by: Kathia Alvarado Calderón
Published: (2005-06-01)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
by: Santos, GHR
Published: (2020)