PROSPER: An Investigation into Software Architecture for Embedded Proof Engines

PROSPER: An Investigation into Software Architecture for Embedded Proof Engines

Bibliographic Details
Main Author:	Melham, T
Format:	Conference item
Published:	Springer−Verlag 2002

Similar Items

The PROSPER toolkit
by: Dennis, L, et al.
Published: (2003)

The PROSPER Toolkit
by: Dennis, L, et al.
Published: (2000)

Ocean engineering for future prosperity /
by: Conference of ASEAN Federation of Engineering Organizations (7th : 1989 : Denpasar, Indonesia)
Published: (1989)

An analysis of errors in interactive proof attempts
by: Aitken, S, et al.
Published: (2000)

Engines of prosperity : templates for the information age /
by: 393868 Ungson, Gerardo R., et al.
Published: (1998)

Requirement for Engineers in Embedded Software Development Outsourcing
by: Mizuki KOBAYASHI
Published: (2015-04-01)

Hardware Verification by Formal Proof
by: Birtwistle, G, et al.
Published: (1988)

Hardware Verification by Formal Proof
by: Birtwistle, G, et al.
Published: (1988)

Software engineering : architecture-driven software development /
by: Schmidt, Richard F. (Richard Francis), 1956-, author
Published: (2013)

The prosperity of Kuala Lumpur using city prosperity index /
by: Soo, Po Xuan, 1993- , author 616148, et al.
Published: (2018)

The prosperity of Kuala Lumpur using city prosperity index /
by: Soo, Po Xuan, 1993- , author 616148
Published: (2018)

The path to prosperity /
by: 287369 Allen, James
Published: (2006)

Interactive Proof Discovery: An Empirical Study of HOL Users
by: Aitken, S, et al.
Published: (1995)

Embedding the concept of service oriented architecture into software sustainability evaluation model
by: Ahmad, Ruzita, et al.
Published: (2017)

A distributed embedded software architecture for multiple Unmanned Aerial Vehicles
by: Matczynski, Michael J
Published: (2007)

Human-centered software engineering : software engineering models, patterns and architectures for HCI /
by: Seffah, Ahmed, et al.
Published: (2009)

Human-centered software engineering : software engineering models, patterns and architectures for HCI /
by: Seffah, Ahmed, et al.
Published: (2009)

Turkey’s SCO Perspective: Possible Contributions to the Regional Security Architecture and Economic Prosperity
by: K. Has
Published: (2015-06-01)

Embedded software /
by: Labrosse, Jean J.
Published: (2007)

Embedded software /
by: Labrosse, Jean J.
Published: (2007)

Software Architecture & Design Patterns in Software Engineering (Concepts and Applications) /
by: Pitman, Ignacia, author 640101, et al.
Published: (2012)

Is the Prosperity Gospel, Gospel? An Examination of the Prosperity and Productivity Gospels in African Christianity
by: Joshua Robert Barron
Published: (2022-04-01)

Software engineering for embedded systems : methods, practical techniques, and applications /
by: 278889 Oshana, Robert, et al.
Published: (2013)

SOFTWARE ENGINEERING FOR EMBEDDED SYSTEMS : Methods, Practical Techniques, and Applications /
by: Oshana, Robert, editor 278889, et al.
Published: (2019)

Rapid embedded system software development ganerator for manufacturing engineers
by: Kyaw, San Oo.
Published: (2010)

Angola: options for prosperity.
by: Collier, P
Published: (2006)

Angola: options for prosperity
by: Collier, P
Published: (2006)

The road to global prosperity /
by: Mandelbaum, Michael, author
Published: (2014)

Eight pillars of prosperity /
by: 287369 Allen, James
Published: (2006)

Trust, Innovation and Prosperity
by: Stanislav Szabo, et al.
Published: (2013-12-01)

Software Design Engineering and Architecture (Concepts & Applications) /
by: Whiteside, Leigha, author 640102, et al.
Published: (2012)

Framework for component-based software engineering of embedded software in resource constrained real-time systems
by: Abg. Jawawi, Dayang Norhayati, et al.
Published: (2008)

Information Flow in Software Testing – An Interview Study With Embedded Software Engineering Practitioners
by: Per Erik Strandberg, et al.
Published: (2019-01-01)

Pressure drop profile and production performance in horizontal well : A simulation study by prosper software /
by: Muhamad Hanif Mhd. Ali, 1991-, et al.
Published: (2014)

Simulation Oriented Layer of Embedded Software Architecture for Rapid Development of Custom Embedded Systems Virtual Simulators Used in Didactics
by: Andrzej Radecki, et al.
Published: (2022-06-01)

ZPiE: Zero-Knowledge Proofs in Embedded Systems
by: Xavier Salleras, et al.
Published: (2021-10-01)

Tamper-proof image watermarking using self-embedding
by: Makur, Anamitra, et al.
Published: (2013)

Embedded systems architecture : a comprehensive guide for engineers and programmers /
by: Noergaard, Tammy 287948
Published: (2013)

Semantic agent architecture: embedding ontology into the agent's reasoning engine
by: Chin, Kim On, et al.
Published: (2014)

Embedded systems architecture : a comprehensive guide for engineers and programmers /
by: 287948 Noergaard, Tammy
Published: (2005)