Book Chapter10.1007/978-3-642-88049-0_16

Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems

Giovanni Cantone-1994-01-01-NATO ASI series. Series F : Computer and system sciences

0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceTransient (computer programming)GraphExecution timeDuration (music)Distributed computingTask (project management)Search engine

Chat

Click to start Chat