Verifying SeVeCom Using Set-Based Abstraction

doi 10.1109/iwcmc.2011.5982705
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Verifying Spatial Queries Using Voronoi Neighbors

2010English

Graph-Based Procedural Abstraction

2007English

Contextual Object Detection Using Set-Based Classification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Verifying Timed BPMN Processes Using Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Verifying Quantitative Properties Using Bound Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Feature Based Text Classification Using Application Term Set

International Journal of Computer Applications
2012English

Verifying Networked Programs Using a Model Checker Extension

2009English

Distribution Function Estimation Using Concomitant-Based Ranked Set Sampling

Hacettepe Journal of Mathematics and Statistics
StatisticsProbabilityAlgebraGeometryAnalysisNumber TheoryTopology
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy