Special Section on Advances in Reachability Analysis and Decision Procedures: Contributions to Abstraction-Based System Verification

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-009-0100-y
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Special Section on Recent Progress in Numerical Verification

Nonlinear Theory and Its Applications, IEICE
2011English

Special Section on Advances in Methods for Adaptive Multicore Systems

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2014English

Verification of Protocol Conformance Test Cases Using Reachability Analysis

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
1992English

Special Section Guest Editorial: Advances in Nanostructured Thin Films

Journal of Nanophotonics
Condensed Matter PhysicsNanoscienceOpticalMagnetic MaterialsNanotechnologyElectronic
2016English

Guest Editors’ Introduction to Special Issue on Advances in DSP System Design

Journal of Signal Processing Systems
ControlSystems EngineeringInformation SystemsSignal ProcessingSimulationHardwareArchitectureModelingTheoretical Computer Science
2013English

Sensitivity Analysis for Linear Systems Based on Reachability Sets

2019English

Forensic Analysis of Autonomous System Reachability

2006English

Introduction to Special Section on Paratransit

Journal of Transport and Land Use
DevelopmentUrban StudiesPlanningTransportationGeography
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy