Files in this item

FilesDescriptionFormat

application/zip

application/zipmultiPALS.zip (156kB)
(no description provided)ZIP

Description

Title:Source Code for a Multirate PALS framework in Real-Time Maude
Author(s):Bae, Kyungmin
Subject(s):Multirate PALS
Real-Time Maude
Abstract:We give source code for a Real-Time Maude framework for formally specifying and executing Multirate PALS synchronous designs, along with an example of designing and model checking a distributed controller for turning an airplane.
Issue Date:2014-06
Genre:Data
Type:Other
Language:English
URI:http://hdl.handle.net/2142/49977
Date Available in IDEALS:2014-07-09


This item appears in the following Collection(s)

Item Statistics