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/qrs/MashkoorE18.rdf
Atif Mashkoor and Alexander Egyed: Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. (2018) conf/qrs/MashkoorE18 10.1109/QRS.2018.00021 Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. 2 Atif Mashkoor 1 Alexander Egyed 2 75-82 QRS QRS 2018 2018 provenance information for RDF data of dblp record 'conf/qrs/MashkoorE18' 2018-08-08T09:36:17+0200