Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off
Diseases & disorders
সংরক্ষণ করুন:
| প্রধান লেখক: | , |
|---|---|
| বিন্যাস: | Online |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
InTechOpen
2021
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | ONIX_20210602_10.5772/37476_168 |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| _version_ | 1869518923021418496 |
|---|---|
| author | Herrera, Fernando Ugarte, Inigo |
| author_browse | Herrera, Fernando Ugarte, Inigo |
| author_facet | Herrera, Fernando Ugarte, Inigo |
| author_sort | Herrera, Fernando |
| collection | Directory of Open Access Books |
| description | Diseases & disorders |
| format | Online |
| id | doab-20.500.12854ir-70333 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | InTechOpen |
| publisherStr | InTechOpen |
| record_format | ojs |
| spelling | doab-20.500.12854ir-703332024-03-31T22:43:47Z Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off Herrera, Fernando Ugarte, Inigo Medicine thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine::MJC Diseases and disorders::MJCM Immunology Diseases & disorders 2021-02-10T12:58:18Z 2021-06-02T10:06:01Z 2012 chapter ONIX_20210602_10.5772/37476_168 https://library.oapen.org/handle/20.500.12657/49053 https://directory.doabooks.org/handle/20.500.12854/70333 eng open access image/jpeg image/jpeg n/a n/a https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf https://library.oapen.org/bitstream/20.500.12657/49053/1/29212.pdf InTechOpen 10.5772/37476 10.5772/37476 035ecc65-6737-43cf-a13a-6bdf67ce01f4 open access |
| spellingShingle | Medicine thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine::MJC Diseases and disorders::MJCM Immunology Herrera, Fernando Ugarte, Inigo Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off |
| title | Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off |
| title_full | Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off |
| title_fullStr | Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off |
| title_full_unstemmed | Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off |
| title_short | Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off |
| title_sort | chapter concurrent specification of embedded systems an insight into the flexibility vs correctness trade off |
| topic | Medicine thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine::MJC Diseases and disorders::MJCM Immunology |
| topic_facet | Medicine thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine::MJC Diseases and disorders::MJCM Immunology |
| url | ONIX_20210602_10.5772/37476_168 |
| work_keys_str_mv | AT herrerafernando chapterconcurrentspecificationofembeddedsystemsaninsightintotheflexibilityvscorrectnesstradeoff AT ugarteinigo chapterconcurrentspecificationofembeddedsystemsaninsightintotheflexibilityvscorrectnesstradeoff |