"Specification and Verification of Applications Based on Function Blocks"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Compiler Specification and Verification	W. Polak	1981	Springer Berlin Heidelberg
Specification and Verification of Concurrent Systems	Charles Rattray	1990	Springer London
Communication Protocol Specification and Verification	Richard Lai; Ajin Jirachiefpattana	1998	Springer US
VLSI Specification, Verification and Synthesis	Graham Birtwistle; P.A. Subrahmanyam	1988	Springer US
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach	Marco Montali	2010	Springer Berlin Heidelberg
Specification and Verification of Multi-agent Systems	Mehdi Dastani; Koen V. Hindriks; John-Jules Meyer	2010	Springer US
Formal specification and verification of digital systems /	Milne, George J.,	[1994], ©1994.	McGraw-Hill,
Formal methods of program verification and specification	H. K. Berg	1982	Prentice-Hall
Protocol Specification, Testing and Verification XIV	S.T. Vuong; Samuel T. Chanson	1995	Springer US
Protocol Specification, Testing and Verification XV	Piotr Dembinski; Marek Sredniawa	1st ed. 1996	Springer US
Reactive Systems: Modelling, Specification and Verification	Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba	2007-08	Cambridge University Press
Protocol Specification, Testing and Verification, XII	R.J. Linn and M.Ü. Uyar	1992	Elsevier
Protocol Specification,Testing,and Verification,VII: Proceedings of the Ifip Wg 6. 1 Seventh International Conference on Protocol Specification,T (I. . . Specification,Testing,and Verification)	Harry Rudin	September 1987	Elsevier Science Ltd
Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems	Carlos Delgado Kloos; Eduard Cerny	1997	Springer US
Software Engineering: Specification, Implementation, Verification	Suad Alagić	1st ed. 2017	Springer International Publishing
Constraint-Based Verification	Jun Yuan; Carl Pixley; Adnan Aziz	2006	Springer US
Specification and Compositional Verification of Real-Time Systems	Jozef Hooman	1991	Springer Berlin Heidelberg
Modular Specification and Verification of Object-Oriented Programs	Peter Müller	2002	Springer Berlin Heidelberg
Specification and verification of object oriented software components	Andreas Roth	2006	Univ.-Verl. Karlsruhe
Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification	Phan Cong-Vinh	2012	Routledge
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 Verification of Applications Based on Function Blocks	Wei Zhang; Wolfgang A. Halang; Christian Dietrich	Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends	Colin Atkinson; Christian Bunse; Hans-Gerhard Gross; Christian Peper	2005	Springer Berlin Heidelberg
Verification of Function Blocks	Li Hsien Yoong; Partha S. Roop; Zeeshan E. Bhatti; Matthew M. Y. Kuo	Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems	Li Hsien Yoong; Partha S. Roop; Zeeshan E. Bhatti; Matthew M. Y. Kuo	2015	Springer International Publishing
Specification and verification of constraint-based dynamic systems	Ying Zhang; Alan K. Mackworth	Principles and Practice of Constraint Programming: Second International Workshop, PPCP ' 94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings	Alan Borning	1994	Springer Berlin Heidelberg
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-based Applications	Manuel Aguilar Cornejo; Hubert Garavel; Radu Mateescu; Noël de Palma	New Developments in Distributed Applications and Interoperable Systems: IFIP TC6 / WG6. 1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland	Zielinski; Kurt Geihs; Aleksander Laurentowski	2001	Springer US
Specification-based automatic verification of Prolog programs	Agostino Cortesi; Baudouin Le Charlier; Sabina Rossi	Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996, Proceedings	John Gallagher	1997	Springer Berlin Heidelberg
Specification and Verification of Web Applications in Rewriting Logic	María Alpuente; Demis Ballis; Daniel Romero	FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings	Ana Cavalcanti; Dennis R. Dams	2009	Springer Berlin Heidelberg
Specification and Verification of Web Applications in Rewriting Log		FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings	Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)	2009	Springer-Verlag Berlin Heidelberg
Design Specification and Verification	J. Staunstrup	Hardware/Software Co-Design: Principles and Practice	Jørgen Staunstrup; Wayne Wolf	1997	Springer US
Process specification and verification	Klaus Barthelmann	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
Formal Specification and Verification	Phillip C.-Y. Sheu	Software Engineering and Environment: An Object-Oriented Perspective	Phillip C.-Y. Sheu	1997	Springer US
Modular Specification and Verification	Daniel Grahl; Richard Bubel; Wojciech Mostowski; Peter H. Schmitt; Mattias Ulbrich; Benjamin Weiß	Deductive Software Verification – The KeY Book: From Theory to Practice	Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Peter H. Schmitt; Mattias Ulbrich	1st ed. 2016	Springer International Publishing
41 Specification and Verification		Secure Computers and Networks: Analysis, Design, and Implementation (Electronics Handbook Series)	Eric A. Fisch, Gregory B. White	1999	CRC Press
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems	Alexei Iliasov; Victor Khomenko; Maciej Koutny; Alexander Romanovsky	Rigorous Development of Complex Fault-Tolerant Systems	Michael Butler; Cliff Jones; Alexander Romanovsky; Elena Troubitsyna	2006	Springer Berlin Heidelberg
Pattern-Based Specification of Crowdsourcing Applications	Alessandro Bozzon; Marco Brambilla; Stefano Ceri; Andrea Mauri; Riccardo Volonterio	Web Engineering: 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings	Sven Casteleyn; Gustavo Rossi; Marco Winckler	2014	Springer International Publishing
On the Specification and Verification of Model Transformations	Fernando Orejas; Martin Wirsing	Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday	Jens Palsberg	2009	Springer Berlin Heidelberg
On the Specification and Verification of Voting Schemes	Bernhard Beckert; Rajeev Goré; Carsten Schürmann	E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings	James Heather; Steve Schneider; Vanessa Teague	2013	Springer Berlin Heidelberg
Specification and Verification of Graph-Based Model Transformation Properties	Gehan M. K. Selim; Levi Lúcio; James R. Cordy; Juergen Dingel; Bentley J. Oakes	Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings	Holger Giese; Barbara König	2014	Springer International Publishing
Temporal Logic-Based Specification and Verification of Trust Models	Peter Herrmann	Trust Management: 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings	Ketil Stølen; William H. Winsborough; Fabio Martinelli; Fabio Massacci	2006	Springer Berlin Heidelberg
Specification and Verification of an Agent-Based Auction Service	Amelia Badica; Costin Badica	Information Systems Development: Towards a Service Provision Society	George Angelos Papadopoulos; Wita Wojtkowski; Gregory Wojtkowski; Stanislaw Wrycza; Jože Zupancic	2010	Springer US
Temporal Logic-Based Specification and Verification of Trust Mode		Trust Management: 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings	Cristiano Castelfranchi (auth.), Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci (eds.)	2006	Springer-Verlag Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Specification and Verification of Applications Based on Function Blocks" - similar Books and Chapters