Herrera, Fernando||Ugarte, Inigo <br/><br/>
Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off 

<br/><br/><br/>English[eng] 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Medicine