META II: Formal Co-Verification of Correctness of Large-Scale Cyber-Physical Systems During Design (Mod 0006). Volume 2

doi 10.21236/ada559654
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

BraceAssertion: Runtime Verification of Cyber-Physical Systems

2015English

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

2015English

Rigorous Design of Cyber-Physical Systems

2012English

Research Challenges in Complex Large Scale Networks and Cyber Physical Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Layered Formal Framework for Modeling of Cyber-Physical Systems

2017English

Environment-Centric Contracts for Design of Cyber-Physical Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Towards Systematic Design of Cyber-Physical Product-Service Systems

2018English

Formal Verification of Hybrid Systems

2011English

Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy