Bücher zum Thema „Specification of cyberphysical systems“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Specification of cyberphysical systems" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Voros, Nikolaos S., und Christos P. Antonopoulos, Hrsg. Cyberphysical Systems for Epilepsy and Related Brain Disorders. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-20049-1.
Der volle Inhalt der QuelleBroy, Manfred, Stephan Merz und Katharina Spies, Hrsg. Formal Systems Specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0024423.
Der volle Inhalt der QuelleK, Periyasamy, Hrsg. Specification of software systems. 2. Aufl. New York: Springer, 2011.
Den vollen Inhalt der Quelle findenAlagar, Vangalur S. Specification of software systems. New York: Springer, 1998.
Den vollen Inhalt der Quelle findenAlagar, V. S. Specification of Software Systems. New York, NY: Springer New York, 1998.
Den vollen Inhalt der Quelle findenAlagar, V. S., und K. Periyasamy. Specification of Software Systems. London: Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-277-3.
Der volle Inhalt der QuelleAlagar, V. S., und K. Periyasamy. Specification of Software Systems. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4757-2920-7.
Der volle Inhalt der QuelleAstesiano, Egidio. Algebraic Foundations of Systems Specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Den vollen Inhalt der Quelle findenArends, N. W. A. A systems engineering specification formalism. Eindhoven: Eindhoven University, 1996.
Den vollen Inhalt der Quelle findenT, Harwood W., und Jackson M. I, Hrsg. The Specification of Complex Systems. Wokingham, England: Addison-Wesley, 1986.
Den vollen Inhalt der Quelle findenInstitution, British Standards. Specification for environmental management systems. London: British Standards Institution, 1992.
Den vollen Inhalt der Quelle findenAstesiano, Egidio, Hans-Jörg Kreowski und Bernd Krieg-Brückner, Hrsg. Algebraic Foundations of Systems Specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-59851-7.
Der volle Inhalt der QuelleInstitution, British Standards. Specification for environmental management systems. 2. Aufl. London: B.S.I., 1994.
Den vollen Inhalt der Quelle finden1948-, Crowe David, und Strain-Clark Peter 1945-, Hrsg. Specification and design of concurrent systems. London: McGraw-Hill Book Co., 1994.
Den vollen Inhalt der Quelle findenStandardization, International Organization for. Industrial automation systems - manufacturing message specification. Geneva: ISO/IEC, 1992.
Den vollen Inhalt der Quelle findenReynolds, Graham J. Configurable graphics systems: Modelling and specification. Norwich: University of East Anglia, 1991.
Den vollen Inhalt der Quelle findenJohnson, Chris, Hrsg. Interactive Systems: Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45522-1.
Der volle Inhalt der QuelleBroy, Manfred, und Ketil Stølen. Specification and Development of Interactive Systems. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4613-0091-5.
Der volle Inhalt der QuelleJanicki, Ryszard, und Peter E. Lauer. Specification and Analysis of Concurrent Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/978-3-642-77337-2.
Der volle Inhalt der QuelleRettberg, Achim, Mauro C. Zanella und Franz J. Rammig, Hrsg. From Specification to Embedded Systems Application. Boston: Kluwer Academic Publishers, 2005. http://dx.doi.org/10.1007/11523277.
Der volle Inhalt der QuellePaternó, Fabio, Hrsg. Interactive Systems: Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-87115-3.
Der volle Inhalt der QuelleDoherty, Gavin, und Ann Blandford, Hrsg. Interactive Systems. Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-69554-7.
Der volle Inhalt der QuelleJorge, Joaquim A., Nuno Jardim Nunes und João Falcão e Cunha, Hrsg. Interactive Systems. Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13960.
Der volle Inhalt der QuelleVillar, Eugenio, Hrsg. Embedded Systems Specification and Design Languages. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-8297-9.
Der volle Inhalt der QuelleRattray, C., Hrsg. Specification and Verification of Concurrent Systems. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3534-0.
Der volle Inhalt der QuellePalanque, Philippe, und Fabio Paternò, Hrsg. Interactive Systems Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44675-3.
Der volle Inhalt der QuelleGraham, T. C. Nicholas, und Philippe Palanque, Hrsg. Interactive Systems. Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-70569-7.
Der volle Inhalt der QuelleGilroy, Stephen W., und Michael D. Harrison, Hrsg. Interactive Systems. Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11752707.
Der volle Inhalt der QuelleStandardization, International Organization for. Industrial automation systems: Manufacturing message specification. Geneva: ISO/IEC, 1991.
Den vollen Inhalt der Quelle findenV, Hindriks Koen, Meyer John-Jules Charles und SpringerLink (Online service), Hrsg. Specification and Verification of Multi-agent Systems. Boston, MA: Springer Science+Business Media, LLC, 2010.
Den vollen Inhalt der Quelle findenNicolescu, G., und A. A. Jerraya, Hrsg. Global Specification and Validation of Embedded Systems. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6153-0.
Der volle Inhalt der QuelleDastani, Mehdi, Koen V. Hindriks und John-Jules Charles Meyer, Hrsg. Specification and Verification of Multi-agent Systems. Boston, MA: Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-6984-2.
Der volle Inhalt der QuelleHoare, C. A. R., M. Broy und Christian Leuxner. Software and systems safety: Specification and verification. Amsterdam: IOS Press, 2011.
Den vollen Inhalt der Quelle findenFormal specification and verification of digital systems. London: McGraw-Hill, 1994.
Den vollen Inhalt der Quelle findenHooman, J. Specification and compositional verification of real-time systems. Berlin: Springer, 1991.
Den vollen Inhalt der Quelle findenH, Dierks, Hrsg. Real-time systems: Formal specification and automatic verification. Cambridge, UK: Cambridge University Press, 2008.
Den vollen Inhalt der Quelle findenStandardization, International Organization for. Environmental management systems: Specification with guidance for use. [Geneva]: International Organization for Standardization, 1995.
Den vollen Inhalt der Quelle findenHooman, J. Specification and compositional verification of real-time systems. Berlin: Springer, 1991.
Den vollen Inhalt der Quelle findenHooman, Jozef. Specification and Compositional Verification of Real-Time Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54947-1.
Der volle Inhalt der QuelleBodart, Francois, und Jean Vanderdonckt, Hrsg. Design, Specification and Verification of Interactive Systems ’96. Vienna: Springer Vienna, 1996. http://dx.doi.org/10.1007/978-3-7091-7491-3.
Der volle Inhalt der QuelleHarrison, Michael Douglas, und Juan Carlos Torres, Hrsg. Design, Specification and Verification of Interactive Systems ’97. Vienna: Springer Vienna, 1997. http://dx.doi.org/10.1007/978-3-7091-6878-3.
Der volle Inhalt der QuelleDuke, David, und Angel Puerta, Hrsg. Design, Specification and Verification of Interactive Systems ’99. Vienna: Springer Vienna, 1999. http://dx.doi.org/10.1007/978-3-7091-6815-8.
Der volle Inhalt der QuelleBernin, Fredrik, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte et al. UML-B Specification for Proven Embedded Systems Design. Herausgegeben von Jean Mermet. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4020-2867-0.
Der volle Inhalt der QuelleMarkopoulos, Panos, und Peter Johnson, Hrsg. Design, Specification and Verification of Interactive Systems ’98. Vienna: Springer Vienna, 1998. http://dx.doi.org/10.1007/978-3-7091-3693-5.
Der volle Inhalt der QuellePalanque, Philippe, und Rémi Bastide, Hrsg. Design, Specification and Verification of Interactive Systems ’95. Vienna: Springer Vienna, 1995. http://dx.doi.org/10.1007/978-3-7091-9437-9.
Der volle Inhalt der QuelleCyberPhysical Systems: Decision Making Mechanisms and Applications. River Publishers, 2017.
Den vollen Inhalt der Quelle findenDesign and Applications of Cyberphysical Systems [Working Title]. IntechOpen, 2019. http://dx.doi.org/10.5772/intechopen.83213.
Der volle Inhalt der QuelleJurdak, Raja, Ali Dorri und Salil Kanhere. Blockchain for Cyberphysical Systems: Challenges, Opportunities, and Applications. Artech House, 2020.
Den vollen Inhalt der Quelle findenOptimal Mobile Sensing And Actuation Policies In Cyberphysical Systems. Springer, 2011.
Den vollen Inhalt der Quelle findenFiaschetti, Andrea. Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems. CRC Press, 2017. http://dx.doi.org/10.1201/9781138042858.
Der volle Inhalt der Quelle