%0 Journal Article %1 journals/spe/DelangePK12 %A Delange, Julien %A Pautet, Laurent %A Kordon, Fabrice %D 2012 %J Softw. Pract. Exp. %K dblp %N 7 %P 799-816 %T Design, implementation and verification of MILS systems. %U http://dblp.uni-trier.de/db/journals/spe/spe42.html#DelangePK12 %V 42

@article{journals/spe/DelangePK12, added-at = {2023-06-26T00:00:00.000+0200}, author = {Delange, Julien and Pautet, Laurent and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/2ead9a9546198e2b459869f8e2db346c4/dblp}, ee = {https://doi.org/10.1002/spe.1151}, interhash = {cfdc161c709da0541137bfa083338a39}, intrahash = {ead9a9546198e2b459869f8e2db346c4}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 7, pages = {799-816}, timestamp = {2024-04-09T06:40:17.000+0200}, title = {Design, implementation and verification of MILS systems.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe42.html#DelangePK12}, volume = 42, year = 2012 }