Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45314-8_24
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

A Real Time Memory Manager for the Real Time Specification for Java

English

Specification and Verification of Real-Time Constraints in Coarse-Grain Dataflow

1991English

Development and Performance Assessment of a Distributed Asynchronous Protocol for Real-Time Network Restoration

IEEE Journal on Selected Areas in Communications
Computer NetworksElectronic EngineeringElectricalCommunications
1991English

Completeness, Robustness, and Safety in Real-Time Software Requirements Specification

1989English

Real-Time IPMI Protocol Analyzer

IEEE Transactions on Nuclear Science
Electronic EngineeringNuclearNuclear EnergyHigh Energy PhysicsEngineeringElectrical
2011English

Adding Form to Real-Time System Specification and Simulation

International Journal of Software Engineering and Knowledge Engineering
Computer GraphicsComputer NetworksCommunicationsComputer-Aided DesignArtificial IntelligenceSoftware
1999English

Real-Time IPMI Protocol Analyzer

2010English

Specification and Design Methodology for Real-Time Embedded Systems

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy