Relevant bibliographies by topics / Temporal verification / Books

Books on the topic 'Temporal verification'

To see the other types of publications on this topic, follow the link: Temporal verification.
Author: Grafiati
Published: 4 June 2021
Last updated: 4 February 2022

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

Select a source type:

Consult the top 18 books for your research on the topic 'Temporal verification.'

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

Manna, Zohar, and Amir Pnueli. Temporal Verification of Reactive Systems. New York, NY: Springer New York, 1995. http://dx.doi.org/10.1007/978-1-4612-4222-2.

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

Manna, Zohar. Temporal Verification of Reactive Systems: Safety. New York, NY: Springer New York, 1995.

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

Manna, Zohar. Temporal verification of reactive systems: Safety. New York: Springer, 1995.

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

Kaplan, Simon M. Verification of recursive programs: A temporal proof approach. Urbana, Ill. (1304 W. Springfield Ave., Urbana 61801): Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1985.

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

Bradfield, J. C. Verifying temporal properties of systems. Boston: Birkhäuser, 1992.

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

Andrianopoulos, G. An environment for the verification and code generation of temporal rules. Manchester: UMIST, 1993.

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

Naik, Yogesh. A temporal logic for the specification and verification of real-time systems. [s.l.]: typescript, 1993.

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

Pnueli, Amir, and Zohar Manna. Temporal Verification of Reactive Systems: Safety. Springer, 2014.

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

Penczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer, 2010.

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

A Formal Framework For Runtime Verification Of Web Applications An Approach Supported By Scopeextended Linear Temporal Logic. VDM Verlag, 2009.

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

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence). Springer, 2006.

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

United States. National Aeronautics and Space Administration., ed. Land surface temperature measurements from EOS MODIS data: Semi-annual report ... for January-June, 1995. [Washington, D.C: National Aeronautics and Space Administration, 1995.

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

United States. National Aeronautics and Space Administration., ed. Land surface temperature measurements from EOS MODIS data: Semi-annual report ... for July-December, 1997 : contract number NAS5-31370. [Washington, DC: National Aeronautics and Space Administration, 1998.

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

United States. National Aeronautics and Space Administration., ed. Land surface temperature measurements from EOS MODIS data: Semi-annual report ... for January-June, 1997 : contract number: NAS5-31370. [Washington, DC: National Aeronautics and Space Administration, 1997.

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

Land surface temperature measurements from EOS MODIS data: Semi-annual report ... for January-June, 1994. [Washington, D.C: National Aeronautics and Space Administration, 1994.

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

Land surface temperature measurements from EOS MODIS data: Semi-annual report ... for July-December, 1993. [Washington, D.C: National Aeronautics and Space Administration, 1993.

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

United States. National Aeronautics and Space Administration., ed. Land surface temperature measurements from EOS MODIS data. [Washington, D.C.]: National Aeronautics and Space Administration, 1994.

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

Roel, Fransis. 3 National Report for Belgium. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0003.

Full text
Abstract:
This chapter discusses the law on creditor claims in Belgium. Legislators have limited the power of secured creditors to take individual enforcement actions with regard to their collateral, notwithstanding the opening of insolvency proceedings. For bankruptcy proceedings, the Bankruptcy Act of 8 August 1997 (BA) introduced a ‘cooling-off period’, imposing a temporary stay on individual enforcement actions by secured creditors. For judicial reorganization proceedings, the 31 January 2009 Act on the Continuity of Enterprises (BCA) imposes a general stay on enforcement actions, which also affects secured and preferential creditors. The remainder of the chapter looks into insolvency claims, administration claims, and non-enforceable claims in turn. Each part covers: the definition and scope of the claim; rules for submission, verification, and satisfaction or admission of claims; ranking of claims; and voting and other participation rights in insolvency proceedings.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Temporal verification' 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