Modular Specification of Hybrid Systems in Charon

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-46430-1_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Supervisory Control of Modular Systems With Global Specification Languages

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2008English

Modular Specification of Process Algebras

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1993English

Modular Specification of Frame Properties in JML

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2003English

Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Task Modeling and Specification for Modular Sensory Based Human-Machine Cooperative Systems

English

Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA

Open Journal of Applied Sciences
2013English

Modular Reasoning for Actor Specification Diagrams

1999English

Modular Supervisory Control With General Indecomposable Specification Languages

English

bHLH-PAS Proteins: Functional Specification Through Modular Domain Architecture

OA Biochemistry
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy