Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

doi 10.1007/978-3-319-26109-6_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Verification of GSM-Based Artifact-Centric Systems Through Finite Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Video Liveness Verification

International Journal of Trend in Scientific Research and Development
2018English

Modeling, Optimization, and Verification for Complex Systems

Mathematical Problems in Engineering
MathematicsEngineering
2016English

Statistically Sound Verification and Optimization for Complex Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

VeriAbs: Verification by Abstraction and Test Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Liveness Redux: On Media and Their Claim to Be Live

Media, Culture and Society
CommunicationSociologyPolitical Science
2017English

Designing Value Through Less by Integrating Sustainability Strategies Into Lifestyles

International Journal of Sustainable Design
2013English

Integrating Shape and Texture for Hand Verification

International Journal of Image and Graphics
Computer Science ApplicationsPattern RecognitionComputer VisionComputer GraphicsComputer-Aided Design
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy