Books on the topic 'Specification of cyberphysical systems'

Voros, Nikolaos S., and Christos P. Antonopoulos, eds. Cyberphysical Systems for Epilepsy and Related Brain Disorders. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-20049-1.

Broy, Manfred, Stephan Merz, and Katharina Spies, eds. Formal Systems Specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0024423.

K, Periyasamy, ed. Specification of software systems. 2nd ed. New York: Springer, 2011.

Alagar, Vangalur S. Specification of software systems. New York: Springer, 1998.

Alagar, V. S. Specification of Software Systems. New York, NY: Springer New York, 1998.

Alagar, V. S., and K. Periyasamy. Specification of Software Systems. London: Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-277-3.

Alagar, V. S., and K. Periyasamy. Specification of Software Systems. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4757-2920-7.

Astesiano, Egidio. Algebraic Foundations of Systems Specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.

Arends, N. W. A. A systems engineering specification formalism. Eindhoven: Eindhoven University, 1996.

T, Harwood W., and Jackson M. I, eds. The Specification of Complex Systems. Wokingham, England: Addison-Wesley, 1986.

Institution, British Standards. Specification for environmental management systems. London: British Standards Institution, 1992.

Astesiano, Egidio, Hans-Jörg Kreowski, and Bernd Krieg-Brückner, eds. Algebraic Foundations of Systems Specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-59851-7.

Institution, British Standards. Specification for environmental management systems. 2nd ed. London: B.S.I., 1994.

1948-, Crowe David, and Strain-Clark Peter 1945-, eds. Specification and design of concurrent systems. London: McGraw-Hill Book Co., 1994.

Standardization, International Organization for. Industrial automation systems - manufacturing message specification. Geneva: ISO/IEC, 1992.

Reynolds, Graham J. Configurable graphics systems: Modelling and specification. Norwich: University of East Anglia, 1991.

Johnson, Chris, ed. Interactive Systems: Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45522-1.

Broy, Manfred, and 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.

Janicki, Ryszard, and 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.

Rettberg, Achim, Mauro C. Zanella, and Franz J. Rammig, eds. From Specification to Embedded Systems Application. Boston: Kluwer Academic Publishers, 2005. http://dx.doi.org/10.1007/11523277.

Paternó, Fabio, ed. Interactive Systems: Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-87115-3.

Doherty, Gavin, and Ann Blandford, eds. Interactive Systems. Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-69554-7.

Jorge, Joaquim A., Nuno Jardim Nunes, and João Falcão e Cunha, eds. Interactive Systems. Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13960.

Villar, Eugenio, ed. Embedded Systems Specification and Design Languages. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-8297-9.

Rattray, C., ed. Specification and Verification of Concurrent Systems. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3534-0.

Palanque, Philippe, and Fabio Paternò, eds. Interactive Systems Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44675-3.

Graham, T. C. Nicholas, and Philippe Palanque, eds. Interactive Systems. Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-70569-7.

Gilroy, Stephen W., and Michael D. Harrison, eds. Interactive Systems. Design, Specification, and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11752707.

Standardization, International Organization for. Industrial automation systems: Manufacturing message specification. Geneva: ISO/IEC, 1991.

V, Hindriks Koen, Meyer John-Jules Charles, and SpringerLink (Online service), eds. Specification and Verification of Multi-agent Systems. Boston, MA: Springer Science+Business Media, LLC, 2010.

Nicolescu, G., and A. A. Jerraya, eds. Global Specification and Validation of Embedded Systems. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6153-0.

Dastani, Mehdi, Koen V. Hindriks, and John-Jules Charles Meyer, eds. Specification and Verification of Multi-agent Systems. Boston, MA: Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-6984-2.

Hoare, C. A. R., M. Broy, and Christian Leuxner. Software and systems safety: Specification and verification. Amsterdam: IOS Press, 2011.

Formal specification and verification of digital systems. London: McGraw-Hill, 1994.

Hooman, J. Specification and compositional verification of real-time systems. Berlin: Springer, 1991.

H, Dierks, ed. Real-time systems: Formal specification and automatic verification. Cambridge, UK: Cambridge University Press, 2008.

Standardization, International Organization for. Environmental management systems: Specification with guidance for use. [Geneva]: International Organization for Standardization, 1995.

Hooman, J. Specification and compositional verification of real-time systems. Berlin: Springer, 1991.

Hooman, 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.

Bodart, Francois, and Jean Vanderdonckt, eds. Design, Specification and Verification of Interactive Systems ’96. Vienna: Springer Vienna, 1996. http://dx.doi.org/10.1007/978-3-7091-7491-3.

Harrison, Michael Douglas, and Juan Carlos Torres, eds. Design, Specification and Verification of Interactive Systems ’97. Vienna: Springer Vienna, 1997. http://dx.doi.org/10.1007/978-3-7091-6878-3.

Duke, David, and Angel Puerta, eds. Design, Specification and Verification of Interactive Systems ’99. Vienna: Springer Vienna, 1999. http://dx.doi.org/10.1007/978-3-7091-6815-8.

Bernin, Fredrik, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, et al. UML-B Specification for Proven Embedded Systems Design. Edited by Jean Mermet. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4020-2867-0.

Markopoulos, Panos, and Peter Johnson, eds. Design, Specification and Verification of Interactive Systems ’98. Vienna: Springer Vienna, 1998. http://dx.doi.org/10.1007/978-3-7091-3693-5.

Palanque, Philippe, and Rémi Bastide, eds. Design, Specification and Verification of Interactive Systems ’95. Vienna: Springer Vienna, 1995. http://dx.doi.org/10.1007/978-3-7091-9437-9.

CyberPhysical Systems: Decision Making Mechanisms and Applications. River Publishers, 2017.

Design and Applications of Cyberphysical Systems [Working Title]. IntechOpen, 2019. http://dx.doi.org/10.5772/intechopen.83213.

Jurdak, Raja, Ali Dorri, and Salil Kanhere. Blockchain for Cyberphysical Systems: Challenges, Opportunities, and Applications. Artech House, 2020.

Optimal Mobile Sensing And Actuation Policies In Cyberphysical Systems. Springer, 2011.

Fiaschetti, Andrea. Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems. CRC Press, 2017. http://dx.doi.org/10.1201/9781138042858.