Amanote Research
Register
Sign In
Formal Methods for Eternal Networked Software Systems
Lecture Notes in Computer Science
- Germany
doi 10.1007/978-3-642-21455-4
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 2011
Authors
Unknown
Publisher
Springer Berlin Heidelberg
Related search
Software Engineering and Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Formal Methods for Agent-Based Systems
Data Analysis Methods for Software Systems
Formal Methods in Systems Engineering
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Application of Lightweight Formal Methods to Software Security
Managing Multiple Communication Methods in High-Performance Networked Computing Systems
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Collaborative Systems for Smart Networked Environments
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Software Quality Improvement: Two Approaches to the Application of Formal Methods
