Libri sul tema "Formal Modeling"

Koikkalainen, Pasi. Neurocomputing systems: Formal modeling and software implementation. Lappeenranta: Lappeenrannan teknillinen korkeakoulou, 1992.

Dima, Catalin, e Mahsa Shirmohammadi, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-85037-1.

Bogomolov, Sergiy, e David Parker, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15839-1.

Abate, Alessandro, e Gilles Geeraerts, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-65765-3.

Fränzle, Martin, e Nicolas Markey, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-44878-7.

Jurdziński, Marcin, e Dejan Ničković, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33365-1.

Braberman, Víctor, e Laurent Fribourg, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40229-6.

Sankaranarayanan, Sriram, e Enrico Vicario, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22975-1.

Bertrand, Nathalie, e Nils Jansen, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57628-8.

Fahrenberg, Uli, e Stavros Tripakis, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24310-3.

Legay, Axel, e Marius Bozga, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10512-3.

Ouaknine, Joël, e Frits W. Vaandrager, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04368-0.

André, Étienne, e Mariëlle Stoelinga, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29662-9.

Asarin, Eugene, e Patricia Bouyer, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11867340.

Kreowski, Hans-Jörg, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg e Gabriele Taentzer, a cura di. Formal Methods in Software and Systems Modeling. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b106390.

Larsen, Kim Guldstrand, e Peter Niebert, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b12025.

Chatterjee, Krishnendu, e Thomas A. Henzinger, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15297-9.

Cassez, Franck, e Claude Jard, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85778-5.

Pettersson, Paul, e Wang Yi, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11603009.

Agha, Gul, Olivier Danvy e José Meseguer, a cura di. Formal Modeling: Actors, Open Systems, Biological Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24933-4.

Jansen, David N., e Pavithra Prabhakar, a cura di. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00151-3.

Raskin, Jean-François, e P. S. Thiagarajan, a cura di. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-75454-1.

International Workshop on Formal Ontologies Meet Industry (4th 2009 Vicenza, Italy). Formal ontologies meet industry. Amsterdam: IOS Press, 2009.

Miller, Stephen P. Detecting mode confusion through formal modeling and analysis. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.

Miller, Stephen P. Detecting mode confusion through formal modeling and analysis. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.

Drechsler, Rolf, e Ulrich Kühne, a cura di. Formal Modeling and Verification of Cyber-Physical Systems. Wiesbaden: Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09994-7.

Ebert, Achim, Gerrit C. van der Veer, Gitta Domik, Nahum D. Gershon e Inga Scheler, a cura di. Building Bridges: HCI, Visualization, and Non-formal Modeling. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54894-9.

Ruqian, Lu. Domain modeling-based software engineering: A formal approach. Boston, MA: Kluwer Academic, 2000.

Margaria, Tiziana, e Bernhard Steffen, a cura di. Leveraging Applications of Formal Methods, Verification and Validation. Modeling. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03418-4.

Rozenberg, Grzegorz. Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997.

Muth, Thomas. Modeling Telecom Networks and Systems Architecture: Conceptual Tools and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

Neufeld, Richard W. J., a cura di. Advances in clinical cognitive science: Formal modeling of processes and symptoms. Washington: American Psychological Association, 2007. http://dx.doi.org/10.1037/11556-000.

Jayaram, Murali Barathwaj. A formal method for functional modeling and conceptual design of complex mechatronic systems. Ottawa: National Library of Canada, 2002.

Modeling in event-b: System and software engineering. New York: Cambridge University Press, 2010.

Nicolas, Navet, e Merz Stephan, a cura di. Modeling and verification of real-time systems: Formalisms and software tools. Hoboken, NJ: ISTE/John Wiley, 2008.

Netherlands) International Workshop on Formal Ontologies Meet Industry (5th 2011 Delft. Formal ontologies meet industry: Proceedings of the fifth international workshop (FOMI 2011). Amsterdam: IOS Press, 2011.

Spaccapietra, Stefano, Salvatore T. March e Yahiko Kambayashi. Conceptual Modeling ER 2002 00: 21st International Conference on Conceptual Modeling Tampere, Finland, October 711, 2002 Proceedings. Berlin: Springer-Verlag Berlin Heidelberg, 2003.

FORMATS, 2010 (2010 Klosterneuburg Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.

Wang, Ling Tok, Ram Sudha 1959- e Lee Mong Li, a cura di. Conceptual modeling - ER '98: 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998 : proceedings. Berlin: Springer, 1998.

Y, Lakhnech, Yovine Sergio, LINK (Online service) e FTRTFT 2004 (2004 : Grenoble, France), a cura di. Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on formal modeling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault -tolerant systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings. Berlin: Springer, 2004.

W, Vaandrager Frits, e SpringerLink (Online service), a cura di. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Hartmut, Ehrig, e Kreowski H. -J, a cura di. Formal methods in software and systems modeling: Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer, 2005.

FORMATS 2010 (2010 Klosterneuburg, Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.

Shvetsova, Olga, e Carol Mershon. Formal Modeling in Social Science. University of Michigan Press, 2019.

Formal Modeling in Social Science. University of Michigan Press, 2019.

Shvetsova, Olga, e Carol Mershon. Formal Modeling in Social Science. University of Michigan Press, 2019.

P. S. Thiagarajan,Jean-Francois Raskin. Formal Modeling and Analysis of Timed Systems. Springer, 2008.

Experiences using formal methods for requirements modeling. [Washington, DC]: National Aeronautics and Space Administration, 1996.

National Aeronautics and Space Administration (NASA) Staff. Experiences Using Formal Methods for Requirements Modeling. Independently Published, 2018.

Montanari, Ugo. Formal Methods in Software and Systems Modeling. Springer, 2008.