LEADER 01690nam 2200337 n 450 001 996390980603316 005 20221108044410.0 035 $a(CKB)4940000000106369 035 $a(EEBO)2248513462 035 $a(UnM)99859482 035 $a(EXLCZ)994940000000106369 100 $a19851126d1641 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aA coppy of 1. The letter sent by the Queenes Majestie concerning the collection of the recusants mony for the Scottish warre, Apr. 17. 1639$b[electronic resource] $e2. The letter sent by Sir Kenelme Digby and Mr. Montague concerning the contribution. 3. The letter sent by those assembled in London, to every shire. 4. The names of the collectors in each county in England and Wales. And 5. The message sent from the Queenes Majestie to the house of Commons by Master Comptroller the 5. of Febr. 1639 210 $aPrinted at London $c[s.n.]$din the yeare of the discovery of Plots, 1641 215 $a[2], 12, [2] p 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 607 $aGreat Britain$xHistory$yCharles I, 1625-1649$vEarly works to 1800 701 $aDigby$b Kenelm$cSir,$f1603-1665.$0615042 701 $aMontagu$b Walter$f1603?-1677.$01001837 701 $aHenrietta Maria$cQueen, consort of Charles I, King of England,$f1609-1669.$01002245 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996390980603316 996 $aA coppy of 1. The letter sent by the Queenes Majestie concerning the collection of the recusants mony for the Scottish warre, Apr. 17. 1639$92328253 997 $aUNISA LEADER 05449nam 22007575 450 001 9910433229903321 005 20251113180739.0 010 $a3-030-62136-7 024 7 $a10.1007/978-3-030-62136-0 035 $a(CKB)4100000011665321 035 $a(DE-He213)978-3-030-62136-0 035 $a(MiAaPQ)EBC6425461 035 $a(Au-PeEL)EBL6425461 035 $a(OCoLC)1231611166 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/38403 035 $a(PPN)252518098 035 $a(ODN)ODN0010072034 035 $a(oapen)doab38403 035 $a(EXLCZ)994100000011665321 100 $a20201214d2021 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-Based Engineering of Collaborative Embedded Systems $eExtensions of the SPES Methodology /$fedited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) 225 1 $aComputer Science Series 311 08$a3-030-62135-9 327 $a1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking andTheorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. 330 $aThis Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany?s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years. 410 0$aComputer Science Series 606 $aSoftware engineering 606 $aSoftware engineering$xManagement 606 $aAutomotive engineering 606 $aComputers, Special purpose 606 $aSoftware Engineering 606 $aSoftware Management 606 $aAutomotive Engineering 606 $aSpecial Purpose and Application-Based Systems 615 0$aSoftware engineering. 615 0$aSoftware engineering$xManagement. 615 0$aAutomotive engineering. 615 0$aComputers, Special purpose. 615 14$aSoftware Engineering. 615 24$aSoftware Management. 615 24$aAutomotive Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.1 686 $aCOM005000$aCOM025000$aCOM051230$aTEC009090$2bisacsh 700 $aBo?hm$b Wolfgang$g(Wolfgang J.)$4edt$00 702 $aBo?hm$b Wolfgang$g(Wolfgang J.),$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBroy$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKlein$b Cornel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPohl$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRumpe$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchröck$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910433229903321 996 $aModel-Based Engineering of Collaborative Embedded Systems$93358287 997 $aUNINA