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/apsec/ChenA11.rdf
Jiang Chen and Toshiaki Aoki: Conformance Testing for OSEK/VDX Operating System Using Model Checking. (2011) conf/apsec/ChenA11 10.1109/APSEC.2011.26 Conformance Testing for OSEK/VDX Operating System Using Model Checking. 2 Jiang Chen 1 Toshiaki Aoki 2 274-281 APSEC APSEC 2011 2011 provenance information for RDF data of dblp record 'conf/apsec/ChenA11' 2023-03-23T23:57:57+0100