Polychronous Automata and Their Use for Formal Validation of AADL Models
Frontiers of Computer Science - United States
doi 10.1007/s11704-017-6134-5
Full Text
Open PDFAbstract
Available in full text
Date
June 18, 2019
Authors
Publisher
Springer Science and Business Media LLC