Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-19249-9_36
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Formal Framework for Specifying Concurrent Systems

International Journal of Computer Applications
2013English

Formal Model Based Specification of Authorization Framework for Ubiquitous Enterprise Computing Environment

International Journal of Computer Applications
2014English

A Practical Formal Model for Safety Analysis in Capability-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Statistical Physics-Based Framework and Bayesian Inference for Model Selection and Uncertainty Quantification

Microscopy and Microanalysis
Instrumentation
2019English

A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2007English

A Layered Formal Framework for Modeling of Cyber-Physical Systems

2017English

Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking

Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
2019English

An Ocarina Extension for AADL Formal Semantics Generation

2018English

Model-Based Channel Estimation Framework for MIMO Multicarrier Communication Systems

IEEE Transactions on Wireless Communications
Electronic EngineeringApplied MathematicsComputer Science ApplicationsElectrical
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy