TY  - GEN
T1  - Communicating embedded systemssoftware and design : formal methods /
DA  - 2010.
CY  - London :
CY  - Hoboken, N.J. :
AU  - Jard, Claude.
AU  - Roux, Olivier H.
CN  - TK7895.E42
PB  - ISTE ;
PB  - Wiley,
PP  - London :
PP  - Hoboken, N.J. :
LA  - eng
PY  - 2010.
ID  - 719342
KW  - Embedded computer systems
KW  - Embedded computer systems
KW  - Computer software
KW  - Formal methods (Computer science)
SN  - 9781118600122
TI  - Communicating embedded systemssoftware and design : formal methods /
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10658441
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10658441
ER  -