Amanote Research

Amanote Research

    RegisterSign In

“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models

doi 10.1007/978-3-540-71209-1_27
Full Text
Open PDF
Abstract

Available in full text

Date

Unknown

Authors
Hillel KuglerAmir PnueliMichael J. SternE. Jane Albert Hubbard
Publisher

Springer Berlin Heidelberg


Related search

Developing a Framework for Modeling Underwater Vehicles in Modelica

2019English

A Framework for Dynamically Generating Predictive Models of Workflow Execution

2013English

A Bayesian Posterior Predictive Framework for Weighting Ensemble Regional Climate Models

2017English

A Logical Framework for Evolution of Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

A Modeling and Simulation Framework for Health Care Systems

IEEE Transactions on Systems, Man, and Cybernetics: Systems
ControlSystems EngineeringInformation SystemsHuman-Computer InteractionElectronic EngineeringComputer Science ApplicationsElectricalSoftware
2014English

Developing a Team Performance Framework for the Intensive Care Unit*

Critical Care Medicine
Critical CareIntensive Care Medicine
2009English

A Framework for Developing Experience Based E-Negotiation System

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2006English

Towards a Logical Framework for Reasoning About Risk

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Programmable Particle System Framework for Shape Modeling

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy