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 /

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 /

57

Xehetasun bibliografikoak
Egile Nagusiak:	International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), Cimatti, Alessandro, Bernardo, Marco
Formatua:
Hizkuntza:	eng
Argitaratua:	Berlin : Springer, 2006
Gaiak:	Formal methods (Computer science) Integrated circuits

Antzeko izenburuak

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

Understanding formal methods /
nork: 273376 Monin, Jean-Francois
Argitaratua: (2003)

Modern formal methods and applications /
nork: Gabbar, Hossam A
Argitaratua: (2006)

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

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

Formal groups /
nork: 316195 Frohlich, A.
Argitaratua: (1968)

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

Formal groups and applications /
nork: 305241 Hazewinkel, Michiel
Argitaratua: (1978)

Formal languages and compilation /
nork: 437251 Reghizzi, Stefano Crespi
Argitaratua: (2009)

Varieties of formal languages /
nork: 423861 Pin, J. E., et al.
Argitaratua: (1986)

Jewels of formal language theory /
nork: 459218 Salomaa, Arto
Argitaratua: (1981)

Introduction to formal language theory /
nork: 459631 Harrison, Michael A.
Argitaratua: (1978)

Recent advances in formal languages and applications /
nork: Esik, Zoltan, 1951-, et al.
Argitaratua: (2006)

Formal gardens /
nork: 316168 Smit, Daan, et al.
Argitaratua: (1996)

Formal models and practical tools for information systems design : proceedings/
nork: IFTP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, April 17-20, 1979 Oxford, et al.
Argitaratua: (1979)

Non-formal education : an alternative to formal system/
nork: 418335 Singh, Rajendra Prasad, et al.
Argitaratua: (1979)

Modelling of splicing systems using formal language theory /
nork: 596254 Fong, Wan Heng, et al.
Argitaratua: (2008)

An introduction to formal languages and automata /
nork: 205539 Linz, Peter
Argitaratua: (2006)

An introduction to formal languages and automata /
nork: 205539 Linz, Peter
Argitaratua: (2001)

Non-formal education : flexible schooling or participatory education? /
nork: Rogers, Alan, 1933-
Argitaratua: (2005)

Prosodic properties of formality in spoken Japanese
nork: Sherr-Ziarko, E
Argitaratua: (2017)

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

Formalizing mathematics in LEAN
nork: Liu, Yufei
Argitaratua: (2024)

Automato : theoretic aspects of formal power series /
nork: 459218 Salomaa, Arto, et al.
Argitaratua: (1978)

JFLAP-an interactive formal languages and automata package /
nork: 458729 Rodger, Susan H., et al.
Argitaratua: (2006)

Personnel Formalization and the Enhancement Of Teamwork: A public–private comparison
nork: Chen, Chung-An, et al.
Argitaratua: (2016)

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

A second course in formal languages and automata theory /
nork: 262775 Shallit, Jeffrey
Argitaratua: (2009)

Theory of finite automata : with an introduction to formal languages /
nork: Carroll, John, 1951-, et al.
Argitaratua: (1989)

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

Design patterns formalization techniques /
nork: Taibi, Toufik, 1969-
Argitaratua: (2007)

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

The formal complexity of natural language /
nork: Savitch, Walter
Argitaratua: (1987)

Picture languages : formal models for pictures recognition /
nork: Rosenfeld, Azriel, 1931-
Argitaratua: (1979)

Basic operational generalizations, managerial requirements and issues in the use of non-formal education
nork: M. Yassin, Sulaiman
Argitaratua: (1982)

Security and cryptography for networks : 5th international conference, SCN 2006, Maiori, Italy, September 6-8, 2006 : proceedings /
nork: SCN 2006 (2006 : Maiori, Italy), et al.
Argitaratua: (2006)

ECAI 2006 : 17th European Conference on Artificial Intelligence, August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedings /
nork: ECAI 2006 (2006 : Riva, Italy), et al.
Argitaratua: (2006)

Do Singaporeans hyperarticulate in formal speech
nork: Paca, Angelie Marie Galang
Argitaratua: (2024)

A survey of smart contract formal specification and verification
nork: Tolmach, Palina, et al.
Argitaratua: (2022)

Formal verification of dynamical models via neural synthesis
nork: Edwards, A
Argitaratua: (2024)