"Specification and Analysis of Fault Behaviours Using Graph Grammars"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Handbook ofGraph Grammars and Computing by Graph Transformation, Volume 1: Foundations (Handbook of Graph Grammars and Computing by Graph Transformation)	Grzegorz Rozenberg	1997	World Scientific
Probabilistic analysis of fault trees using pivotal decomposition	William T. III McCullers	1985
Advances in Fault Detection and Diagnosis Using Filtering Analysis	Ziyun Wang; Yan Wang; Zhicheng Ji	1st ed. 2022	Springer Nature Singapore
Spend Analysis and Specification Development Using Failure Interpretation	Michael D. Holloway	2011	Routledge
Identifying and using effective teaching behaviours	Laurie Mireau	1986	Alberta Education
Swift Analysis of Civil Engineering Structures Using Graph Theory Methods	Ali Kaveh; Hossein Rahami; Iman Shojaei	1st ed. 2020	Springer International Publishing
Fault Detection and Fault-Tolerant Control Using Sliding Modes	Halim Alwi; Christopher Edwards; Chee Pin Tan	2011	Springer London
Bond Graph Model-based Fault Diagnosis of Hybrid Systems	Wolfgang Borutzky	2015	Springer International Publishing
Bond Graph Modelling for Control, Fault Diagnosis and Failure Prognosis	Wolfgang Borutzky	1st ed. 2021	Springer International Publishing
Formal Specification Using Z	David Lightfoot (auth.)	1991	Macmillan Education UK
Fault Analysis in Cryptography	Elisabeth Oswald, François-Xavier Standaert (auth.), Marc Joye, Michael Tunstall (eds.)	2012	Springer-Verlag Berlin Heidelberg
Fault Analysis in Cryptography	Marc Joye; Michael Tunstall	2012	Springer Berlin Heidelberg
Design of Reconfigurable Antennas Using Graph Models	Joseph Costantine; Youssef Tawk; Christos Christodoulou		Springer International Publishing
Python for Graph and Network Analysis	Mohammed Zuhair Al-Taie; Seifedine Kadry	1st ed. 2017	Springer International Publishing
Hybrid Graph Theory and Network Analysis	Ladislav Novak; Alan Gibbons	1999-09	Cambridge University Press
Python for Graph and Network Analysis	Mohammed Zuhair Al-Taie and Seifedine Kadry	2017	Springer
Interactive graph reduction and analysis program	James Winton Thomas	1970	Naval Postgraduate School
Power Systems Modelling and Fault Analysis	Nasser D. Tleis; BSc; MSc; PhD; CEng; FIEE	2008	Newnes
Vertex-Frequency Analysis of Graph Signals	Ljubiša Stanković; Ervin Sejdić	1st ed. 2019	Springer International Publishing
Fractional Behaviours Modelling: Analysis and Application of Several Unusual Tools	Jocelyn Sabatier; Christophe Farges; Vincent Tartaglione	1st ed. 2022	Springer International Publishing
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Specification and Analysis of Fault Behaviours Using Graph Grammars	Fernando Luis Dotti; Leila Ribeiro; Osmar Marchi dos Santos	Applications of Graph Transformations with Industrial Relevance: Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers	John L. Pfaltz; Manfred Nagl; Boris Böhlen	2004	Springer Berlin Heidelberg
Specification of Mobile Code Systems Using Graph Grammars	Fernando Luís Dotti; Leila Ribeiro	Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA	Scott F. Smith; Carolyn L. Talcott	2000	Springer US
Software specification by graph grammars	M. Nagl; G. Engels; R. Gall; W. Schäfer	Graph-Grammars and Their Application to Computer Science: 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982	H. Ehrig; M. Nagl; G. Rozenberg	1983	Springer Berlin Heidelberg
Specification of graph translators with triple graph grammars	Andy Schürr	Graph-Theoretic Concepts in Computer Science: 20th International Workshop. WG ' 94, Herrsching, Germany, June 16 - 18, 1994. Proceedings	Ernst W. Mayr; Gunther Schmidt; Gottfried Tinhofer	1995	Springer Berlin Heidelberg
Verigraph: A System for Specification and Analysis of Graph Grammars	Andrei Costa; Jonas Bezerra; Guilherme Azzi; Leonardo Rodrigues; Thiago Rafael Becker; Ricardo Gabriel Herdt et al.	Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings	Leila Ribeiro; Thierry Lecomte	1st ed. 2016	Springer International Publishing
A specification environment for graph grammars	M. Nagl; A. Schürr	Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings	Hartmut Ehrig; Hans-Jörg Kreowski; Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Estimating Graph Parameters Using Graph Grammars	Sourav Mukherjee; Tim Oates	Grammatical Inference: Algorithms and Applications: 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings	Alexander Clark; François Coste; Laurent Miclet	2008	Springer Berlin Heidelberg
Algebraic specification grammars: A junction between module specifications and graph grammars	Hartmut Ehrig; Francesco Parisi-Presicce	Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings	Hartmut Ehrig; Hans-Jörg Kreowski; Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Graph grammars	H. J. Schneider; Erlangen	Fundamentals of Computation Theory: Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977	Marek Karpinski	1977	Springer Berlin Heidelberg
Graph Grammars		Encyclopedia of Big Data Technologies	Sherif Sakr; Albert Zomaya	1st ed. 2019	Springer International Publishing
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars	Fernando L. Dotti; Odorico M. Mendizabal; Osmar M. dos Santos	Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings	Carlos Alberto Maziero; João Gabriel Silva; Aline Maria Santos Andrade; Flávio Morais de Assis Silva	2005	Springer Berlin Heidelberg
Graph Grammars and Graph Compilers		Trustworthy Compilers	Vladimir O. Safonov	2010	John Wiley & Sons
Parallelism analysis in rule-based systems using graph grammars	D. Moldovan; F. Parisi-Presicce	Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986	Hartmut Ehrig; Manfred Nagl; Grzegorz Rozenberg; Azriel Rosenfeld	1987	Springer Berlin Heidelberg
Generating graph languages using hypergraph grammars	D. Janssens; G. Rozenberg	Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungaria, August 24-28, 1981	F. Gecseg	1981	Springer Berlin Heidelberg
Module Integration Using Graph Grammars (MIGRATE)	Diogo Raphael Cravo; Leila Ribeiro	Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings	Sérgio Campos; Marius Minea	1st ed. 2021	Springer International Publishing
Consistent Ontologies Evolution Using Graph Grammars	Mariem Mahfoudh; Germain Forestier; Laurent Thiry; Michel Hassenforder	Knowledge Science, Engineering and Management: 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013, Proceedings	Mingzheng Wang	2013	Springer Berlin Heidelberg
Transformations of graph grammars	Francesco Parisi-Presicce	Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.	Janice Cuny; Hartmut Ehrig; Gregor Engels; Grzegorz Rozenberg	1996	Springer Berlin Heidelberg
Specification and implementation of grammar couplings using attribute grammars	Martin Jourdan; Carole Le Bellec; Didier Parigot; Gilles Roussel	Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP ' 93, Tallinn, Estonia, August 25-27, 1993. Proceedings	Maurice Bruynooghe; Jaan Penjam	1993	Springer Berlin Heidelberg
Programmed graph grammars	Horst Bunke	Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30 - November 3, 1978	V. Claus; H. Ehrig; G. Rozenberg	1979	Springer Berlin Heidelberg
Multilevel graph grammars	Francesco Parisi-Presicce; Gabriele Piersanti	Graph-Theoretic Concepts in Computer Science: 20th International Workshop. WG ' 94, Herrsching, Germany, June 16 - 18, 1994. Proceedings	Ernst W. Mayr; Gunther Schmidt; Gottfried Tinhofer	1995	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Specification and Analysis of Fault Behaviours Using Graph Grammars" - similar Books and Chapters