Polychronous automata and their use for formal validation of AADL models
Crossref DOI link: https://doi.org/10.1007/s11704-017-6134-5
Published Online: 2019-06-18
Published Print: 2019-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gautier, Thierry
Guy, Clément
Honorat, Alexandre
Le Guernic, Paul
Talpin, Jean-Pierre
Besnard, Loïc
Text and Data Mining valid from 2019-06-18
Version of Record valid from 2019-06-18
Article History
Received: 4 March 2016
Accepted: 4 July 2017
First Online: 18 June 2019