„concurrent specification“
Suchergebnisse
1.000+ Treffer
-
Specification and Verification of Concurrent Systems
-
Formal Methods and Software Engineering – 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
-
Empirical Software Engineering and Verification – International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
-
Correction: Novel specification tests for synchronous additive concurrent model formulation based on martingale difference divergence
-
Correction to: An integrated specification and verification technique for highly concurrent data structures
-
The Temporal Logic of Reactive and Concurrent Systems – Specification
-
Hyperproperty-Preserving Register Specifications
-
AMECOS: A Modular Event-Based Framework for Concurrent Object Specification
-
Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111)
-
09361 Abstracts Collection – Design and Validation of Concurrent Systems
-
Efficient Wait-Free Queue Algorithms with Multiple Enqueuers and Multiple Dequeuers
-
Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk)
-
Concurrent Specifications Beyond Linearizability
-
Brief Announcement: On the Impossibility of Detecting Concurrency
-
A Concurrent Specification of POSIX File Systems
-
Object-Oriented Technology
-
Specification, Algebra, and Software – Essays Dedicated to Kokichi Futatsugi
-
Specification, algebra, and software – essays dedicated to Kokichi Futatsugi
-
The temporal logic of reactive and concurrent systems – specification
-
Specification techniques for concurrent and distributed systems