Formal verification strategy for statechart based design of reconfigurable control of high integrity reactive systems

Simple item page
dc.contributor.authorDewasurendra, S.D.
dc.date.accessioned2019-10-01T04:14:31Z
dc.date.available2019-10-01T04:14:31Z
dc.date.issued2013
dc.identifier.citationEngineer, 46(2):p.13-33
dc.identifier.urihttps://dl-iesl.nsf.gov.lk/handle/1/1793
dc.publisherThe Institution of Engineers:Colombo
dc.subjectAutomated high integrity reactive systems
dc.subjectFormal verification strategy
dc.subjectState charts
dc.subjectRailway signalling
dc.subjectAutomatic control
dc.titleFormal verification strategy for statechart based design of reconfigurable control of high integrity reactive systems
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Engineer-2013-46(2)_13.pdf
Size:
1.48 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
0 B
Format:
Plain Text
Description:
Download

Collections

Engineer