Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata

Journals Menu

Follow SCIRP

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org

"Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata"
written by Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane,
published by Journal of Software Engineering and Applications, Vol.9 No.9, 2016

has been cited by the following article(s):

[1]	RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems
	2020

[2]	On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems
	2018

Follow SCIRP