XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-61474-5_89
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Specification and Analysis of Real-Time Systems in Statecharts

English

Specification and Design Methodology for Real-Time Embedded Systems

2002English

A Visual Toolset for the Design of Real-Time Discrete-Event Systems

IEEE Transactions on Control Systems Technology
ControlSystems EngineeringElectricalElectronic Engineering
1997English

SAP: Standard Arabic Profiling Toolset for Textual Analysis

International Journal of Machine Learning and Computing
ManagementComputer Science ApplicationsInformation SystemsArtificial Intelligence
2019English

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems

International Journal of Systems and Service-Oriented Engineering
2015English

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Real Time IMU Simulator for Integrated Navigation Systems

The International Conference on Electrical Engineering
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy