Title: Principles of meta/delta-specification (formal specification with reference/reuse)  
Author: Gunnar Andersson Sep 11, 2018
Last Changed by: Gunnar Andersson Sep 28, 2018
Tiny Link: (useful for email) https://wiki.covesa.global/x/cgK5
Export As: Word · PDF  
Incoming Links
MigrationToCovesa (1)
    Page: Virtual Platform definition for Automotive Hypervisor Environments
Hierarchy
Parent Page
    Page: Hypervisor Project
Labels
There are no labels assigned to this page.
Recent Changes
Time Editor  
Sep 28, 2018 04:58 Gunnar Andersson View Changes
Some elaboration, cleaning up text, etc.
Sep 11, 2018 04:21 Gunnar Andersson View Changes
Cleaned up description and example. Ready for now.
Sep 11, 2018 04:00 Gunnar Andersson View Changes
Sep 11, 2018 00:58 Gunnar Andersson  
Outgoing Links
External Links (1)
    https://opensource.org/licenses
MigrationToCovesa (1)     Page: Hypervisor Project