Bibliografías temáticas / Formal Modeling / Libros

Libros sobre el tema "Formal Modeling"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Formal Modeling.
Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 30 de enero de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Formal Modeling".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Ebert, Achim, Gerrit C. van der Veer, Gitta Domik, Nahum D. Gershon y Inga Scheler, eds. 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Margaria, Tiziana y Bernhard Steffen, eds. 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Spaccapietra, Stefano, Salvatore T. March y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Y, Lakhnech, Yovine Sergio, LINK (Online service) y FTRTFT 2004 (2004 : Grenoble, France), eds. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

W, Vaandrager Frits y SpringerLink (Online service), eds. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Formal Modeling" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía