A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report)
2011 ◽
Vol 66
◽
pp. 24-47
◽
Keyword(s):
2013 ◽
Vol 78
(6)
◽
pp. 657-681
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):