Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Compositional Schedulability Analysis of Real-Time Actor-Based Systems

Mohammad Mahdi Jaghoori,Frank de Boer,Delphine Longuet,Tom Chothia,Marjan Sirjani

Acta Informatica（2016）

Cited 8|Views43
Key words
Model Check,Generate Test Case,Schedulability Analysis,First Come First Serve,State Space Explosion
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined