iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/icsoft/SalvaB20a.rdf
Sébastien Salva and Elliott Blot: MLCA: A Model-Learning-Checking Approach for IoT Systems. (2020) conf/icsoft/SalvaB20a 10.1007/978-3-030-83007-6_4 MLCA: A Model-Learning-Checking Approach for IoT Systems. 2 Sébastien Salva 1 Elliott Blot 2 70-97 ICSOFT (Selected Papers) ICSOFT (Selected Papers) 2020 2021 provenance information for RDF data of dblp record 'conf/icsoft/SalvaB20a' 2021-08-09T10:23:47+0200