Sixth International Conference on Computer Science, Engineering ...
Formal Verification of Heart-Lung Machine Using Colored Petri Net ... overall performance machine, heparin injection machine and cardioplegia solution delivery machine. ... Karima Berramla, El Abbassia Deba, and Mohamed Senouci , Oran ...
Address
Tel
Website
Date
|
Product Description
|
Supplier
|
Money
|
Quantity
|
Weight
|
---|
csen2015's website is csen2015.org