Verification of Concurrent Design Patterns With Data

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-22397-7_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Verification and Testing of Concurrent Systems With Action Races

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Entanglement Verification With Finite Data

Physical Review Letters
AstronomyPhysics
2010English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Searchable Encryption With Data Integrity Verification

DEStech Transactions on Engineering and Technology Research
2017English

Concurrent Approach to Teaching Concurrent Design Engineering

Proceedings of the Canadian Engineering Education Association (CEEA)
2011English

Temporal Patterns for Document Verification

English

Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Modeling of Product Life-Cycle Knowledge and Data for an Intelligent Concurrent Design System

2000English

Design Patterns Go to Hollywood: Teaching Patterns With Multimedia

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy