Using Monterey Phoenix to Formalize and Verify System Architectures

doi 10.1109/apsec.2012.60
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Using Language Inference to Verify Omega-Regular Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Using Simulation to Verify Life History Relations Indicated by Time Series Analysis

Environmetrics
Ecological ModelingStatisticsProbability
1999English

How to Verify and Manage the Translational Plagiarism?

Open Access Macedonian Journal of Medical Sciences
Medicine
2016English

Formalize UML 2 Sequence Diagrams

2008English

Investigating Alternatives for System Architectures to Enhance Discrete Manufacturing

International Journal of Distributed Sensor Networks
Computer NetworksEngineeringCommunications
2019English

Generalising KAT to Verify Weighted Computations

Scientific Annals of Computer Science
Applied MathematicsComputer Science
2019English

Optimal Design of Dependable Control System Architectures Using Temporal Sequences of Failures

IEEE Transactions on Reliability
Electronic EngineeringRiskReliabilityElectricalSafetyQuality
2009English

System and Software Architectures of Distributed Smart Cameras

Transactions on Embedded Computing Systems
HardwareArchitectureSoftware
2010English

Verify Your Runs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy