Soft Component Automata: Composition, Compilation, Logic, and Verification

Science of Computer Programming - Netherlands
doi 10.1016/j.scico.2019.08.001
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Elsevier BV

Related search

Continuation Compilation for Concurrent Logic Programming

1995English

Predicate Logic and Tree Automata With Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Logic Analysis and Verification of N-Input Genetic Logic Circuits

2017English

Fuzzy Logic, Soft Computing, and Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Variability and Component Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Verification of Networks of Timed Automata Using mCRL2

2008 IEEE International Symposium on Parallel and Distributed Processing
2008English

Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism

On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence
2019English

Digital Logic for Soft Devices

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

An Automata Based Verification Environment for Mobile Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy