Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steve Zabele
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Specification and Analysis of Real-Time Systems in Statecharts
A Real Time Memory Manager for the Real Time Specification for Java
Specification and Verification of Real-Time Constraints in Coarse-Grain Dataflow
Development and Performance Assessment of a Distributed Asynchronous Protocol for Real-Time Network Restoration
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification
Real-Time IPMI Protocol Analyzer
IEEE Transactions on Nuclear Science
Electronic Engineering
Nuclear
Nuclear Energy
High Energy Physics
Engineering
Electrical
Adding Form to Real-Time System Specification and Simulation
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Real-Time IPMI Protocol Analyzer
Specification and Design Methodology for Real-Time Embedded Systems
