Relevant bibliographies by topics / Formal Modeling / Books

Books on the topic 'Formal Modeling'

To see the other types of publications on this topic, follow the link: Formal Modeling.
Author: Grafiati
Published: 4 June 2021
Last updated: 30 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Formal Modeling.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dima, Catalin, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bogomolov, Sergiy, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Abate, Alessandro, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fränzle, Martin, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jurdziński, Marcin, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Braberman, Víctor, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sankaranarayanan, Sriram, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bertrand, Nathalie, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Fahrenberg, Uli, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Legay, Axel, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Ouaknine, Joël, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

André, Étienne, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Chatterjee, Krishnendu, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Cassez, Franck, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Agha, Gul, Olivier Danvy, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Jansen, David N., and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Raskin, Jean-François, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
24

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

Drechsler, Rolf, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

Margaria, Tiziana, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
34

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
35

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

Y, Lakhnech, Yovine Sergio, LINK (Online service), and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

W, Vaandrager Frits, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

Hartmut, Ehrig, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Formal Modeling' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography