Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
EFSM Model Construction Method for RTL Digital Circuit
Li, Xiaochen, Zhao, Ruilian, Shang, Ying
Published in International Conference on Dependable Systems and Their Applications (Online) (01.08.2022)
Published in International Conference on Dependable Systems and Their Applications (Online) (01.08.2022)
Get full text
Conference Proceeding
Modular supervisor synthesis for extended finite-state machines subject to controllability
Malik, Robi, Teixeira, Marcelo
Published in 2016 13th International Workshop on Discrete Event Systems (WODES) (01.05.2016)
Published in 2016 13th International Workshop on Discrete Event Systems (WODES) (01.05.2016)
Get full text
Conference Proceeding
An automated software reliability prediction system for safety critical software
Li, Xiang, Mutha, Chetan, Smidts, Carol S.
Published in Empirical software engineering : an international journal (01.12.2016)
Published in Empirical software engineering : an international journal (01.12.2016)
Get full text
Journal Article
Requirements language processing for the effective testing of real-time systems
Published in Software engineering notes
(15.11.1978)
Get full text
Journal Article