Log in

Relevant bibliographies by topics / Formal Modeling / Books

To see the other types of publications on this topic, follow the link: Formal Modeling.

Books on the topic 'Formal Modeling'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

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

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Petrucci, Laure, and Jeremy Sproston, eds. Formal Modeling and Analysis of Timed Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-42626-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

Stefano, Borgo, Lesmo Leonardo, and International Workshop on Formal Ontologies Meet Industry (3rd : 2008 : Turin, Italy), eds. Formal ontologies meet industry. IOS Press, 2008.

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

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

1965-, Easterbrook S. M., and United States. National Aeronautics and Space Administration., eds. Experiences using lightweight formal methods for requirements modeling. National Aeronautics and Space Administration, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

1965-, Easterbrook S. M., and United States. National Aeronautics and Space Administration., eds. Experiences using lightweight formal methods for requirements modeling. National Aeronautics and Space Administration, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

Hillston, Jane, Sadegh Soudjani, and Masaki Waga, eds. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-68416-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

39

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. Springer-Verlag Berlin Heidelberg, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

40

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

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. Springer, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

43

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. Springer Berlin Heidelberg, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

45

Renssen, Ir Andries Van. Semantic Modeling in Formal English. Lulu Press, Inc., 2014.

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

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

48

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

49

Experiences using formal methods for requirements modeling. National Aeronautics and Space Administration, 1996.

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

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!