LEADER 02515nam 2200517z- 450 001 9910504301503321 005 20211019 035 $a(CKB)5590000000629475 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/72387 035 $a(oapen)doab72387 035 $a(EXLCZ)995590000000629475 100 $a20202110d2021 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aProceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021 210 $aVienna$cTU Wien Academic Press$d2021 215 $a1 online resource (284 p.) 225 1 $aConference Series: Formal Methods in Computer-Aided Design 311 08$a9781665402941 311 08$a1665402946 311 08$a9783854480464 311 08$a3854480466 330 $aThe Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. 517 $a2021 Formal Methods in Computer Aided Design 606 $aArtificial intelligence$2bicssc 606 $aComputer architecture and logic design$2bicssc 606 $aMathematical theory of computation$2bicssc 606 $aSoftware testing and verification$2bicssc 606 $aSystems analysis and design$2bicssc 610 $aFormal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning 615 7$aArtificial intelligence 615 7$aComputer architecture and logic design 615 7$aMathematical theory of computation 615 7$aSoftware testing and verification 615 7$aSystems analysis and design 700 $aPiskac$b Ruzica$4edt$01283190 702 $aWhalen$b Michael$4edt 702 $aPiskac$b Ruzica$4oth 702 $aWhalen$b Michael$4oth 906 $aPROCEEDING 912 $a9910504301503321 996 $aProceedings of the 21st Conference on Formal Methods in Computer-Aided Design ? FMCAD 2021$93018950 997 $aUNINA LEADER 04044oas 2201093 a 450 001 9910140708903321 005 20260218111810.0 035 $a(OCoLC)667255765 035 $a(CONSER) 2012254619 035 $a(CKB)3130000000000198 035 $a(DE-599)ZDB2606558-7 035 $a(MiAaPQ)2032438 035 $ahttps://learn360.infobase.com/titles/141383?aid= 035 $a(DE-599)2606558-7 035 $a(EXLCZ)993130000000000198 100 $a20100930a20119999 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAnimals $ean open access journal from MDPI 210 $aBasel, Switzerland $cMolecular Diversity Preservation International$d2011- 300 $aRefereed/Peer-reviewed 300 $aTitle from caption (viewed on Sept. 30, 2010). 311 08$a2076-2615 330 $a"Animals (ISSN 2076-2615) is an international and interdisciplinary scholarly open access journal. It publishes reviews, regular research papers, communications, and short notes that are relevant to any field of study that involves animals, including zoology, ethnozoology, animal science, animal ethics and animal welfare. However, preference will be given to those articles that provide an understanding of animals within a larger context (i.e., the animals' interactions with the outside world, including humans). There is no restriction on the length of the papers. Our aim is to encourage scientists to publish their experimental and theoretical research in as much detail as possible. Full experimental details and/or method of study, must be provided for research articles. Articles submitted that involve subjecting animals to unnecessary pain or suffering will not be accepted, and all articles must be submitted with the necessary ethical approval." 517 3 $aAnimals, open access journal 531 10$aAnimals (Basel) 531 0 $aAnimals 606 $aAnimals$vPeriodicals 606 $aVeterinary medicine$vPeriodicals 606 $aHuman-animal relationships$vPeriodicals 606 $aEthnozoology$vPeriodicals 606 $aAnimal rights$vPeriodicals 606 $aAnimal welfare$vPeriodicals 606 $aZoology$vPeriodicals 606 $aEcology$vPeriodicals 606 $aAnimals 606 $aAnimal Welfare 606 $aHuman-Animal Bond 606 $aAnimal rights$2fast$3(OCoLC)fst00809364 606 $aAnimal welfare$2fast$3(OCoLC)fst00809431 606 $aAnimals$2fast$3(OCoLC)fst00809468 606 $aEcology$2fast$3(OCoLC)fst00901476 606 $aEthnozoology$2fast$3(OCoLC)fst00916209 606 $aHuman-animal relationships$2fast$3(OCoLC)fst00963482 606 $aVeterinary medicine$2fast$3(OCoLC)fst01165977 606 $aZoology$2fast$3(OCoLC)fst01184696 608 $aPeriodical. 608 $aPeriodicals.$2fast 615 0$aAnimals 615 0$aVeterinary medicine 615 0$aHuman-animal relationships 615 0$aEthnozoology 615 0$aAnimal rights 615 0$aAnimal welfare 615 0$aZoology 615 0$aEcology 615 12$aAnimals. 615 22$aAnimal Welfare. 615 22$aHuman-Animal Bond. 615 7$aAnimal rights. 615 7$aAnimal welfare. 615 7$aAnimals. 615 7$aEcology. 615 7$aEthnozoology. 615 7$aHuman-animal relationships. 615 7$aVeterinary medicine. 615 7$aZoology. 712 02$aMolecular Diversity Preservation International. 801 0$bGIL 801 1$bGIL 801 2$bGIL 801 2$bYAM 801 2$bOCLCQ 801 2$bCUV 801 2$bCUS 801 2$bOCLCF 801 2$bOCLCQ 801 2$bOCLCO 801 2$bNLM 801 2$bOCLCQ 801 2$bOCLCO 801 2$bSRU 801 2$bOCLCO 801 2$bOCLCA 801 2$bOCLCQ 801 2$bOCLCL 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910140708903321 996 $aAnimals$91888055 997 $aUNINA