TY - GEN AU - Herrera,Fernando AU - Ugarte,Inigo TI - Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off SN - 37476 PY - 2012/// PB - InTechOpen KW - Immunology KW - bicssc KW - Medicine N1 - Open Access N2 - Diseases & disorders UR - https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf UR - https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf UR - https://directory.doabooks.org/handle/20.500.12854/70333 ER -