Modal I/O Automata for Interface and Product Line Theories

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-71316-6_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

RIB: Analysis of I/O Automata

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

A Versatile Microcomputer I/O Interface

Behavior Research Methods
DevelopmentalArtsPsychologyEducational PsychologyCognitive PsychologyHumanitiesExperimental
1979English

Finite Automata for Caching in Matrix Product Algorithms

Physical Review A
2008English

Combining Equational Tree Automata Over AC and ACI Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

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

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

PuLSE-I: Deriving Instances From a Product Line Infrastructure

English

Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction

2004English

Entanglement Entropy in Integrable Field Theories With Line Defects. Part I. Topological Defect

Journal of High Energy Physics
High Energy PhysicsNuclear
2017English

Monopolistic Product Line Competition With ≪i>Ex Post</I> Consumer Heterogeneity

Theoretical Economics Letters
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy