Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

Diseases & disorders

Saved in:

Bibliographic Details
Main Author:	Herrera, Fernando (auth)
Other Authors:	Ugarte, Inigo (auth)
Format:	Electronic Book Chapter
Language:	English
Published:	InTechOpen 2012
Subjects:	Immunology Medicine
Online Access:	DOAB: download the publication DOAB: description of the publication
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000naaaa2200000uu 4500
001	doab_20_500_12854_70333
005	20210210
003	oapen
006	m o d
007	cr\|mn\|---annan
008	20210210s2012 xx \|\|\|\|\|o \|\|\| 0\|eng d
020			\|a 37476
040			\|a oapen \|c oapen
024	7		\|a 10.5772/37476 \|c doi
041	0		\|a eng
042			\|a dc
072		7	\|a MJCM \|2 bicssc
100	1		\|a Herrera, Fernando \|4 auth
700	1		\|a Ugarte, Inigo \|4 auth
245	1	0	\|a Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off
260			\|b InTechOpen \|c 2012
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
506	0		\|a Open Access \|2 star \|f Unrestricted online access
520			\|a Diseases & disorders
540			\|a Creative Commons \|f https://creativecommons.org/licenses/by/3.0/ \|2 cc \|4 https://creativecommons.org/licenses/by/3.0/
546			\|a English
650		7	\|a Immunology \|2 bicssc
653			\|a Medicine
773	1	0	\|7 nnaa
856	4	0	\|a www.oapen.org \|u https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf \|7 0 \|z DOAB: download the publication
856	4	0	\|a www.oapen.org \|u https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf \|7 0 \|z DOAB: download the publication
856	4	0	\|a www.oapen.org \|u https://directory.doabooks.org/handle/20.500.12854/70333 \|7 0 \|z DOAB: description of the publication