4 results on '"DELATOUR J"'
Search Results
2. Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.
3. Composing real-time objects: a case for Petri nets and Girard's linear logic.
4. About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.