Amanote Research

Amanote Research

    RegisterSign In

ASAP: An Extensible Platform for State Space Analysis

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-02424-5_18
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2009

Authors
Michael WestergaardSami EvangelistaLars Michael Kristensen
Publisher

Springer Berlin Heidelberg


Related search

An Extensible Platform for Evaluating Security Protocols

English

Egg: An Extensible and Economics-Inspired Open Grid Computing Platform

2006English

HeidelPlace: An Extensible Framework for Geoparsing

2017English

An Extensible Dialogue Script for a Robot Based on Unification of State-Transition Models

Journal of Robotics
ControlSystems EngineeringComputer Science
2010English

A Lightweight and Extensible Platform for Processing Personal Information at Global Scale

Journal of Internet Services and Applications
Computer NetworksComputer Science ApplicationsCommunications
2010English

An Embeddable Virtual Machine for State Space Generation

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2010English

A Modular and Extensible RNA-based Gene-Regulatory Platform for Engineering Cellular Function

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
2007English

An Extensible Reference Model for Data Integration

1997English

Dot-Pipe: An S3 Extensible Pipe for R

R Journal
UncertaintyNumerical AnalysisStatisticsProbability
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy