Processes, data elements and documents in commerce, industry and administration — Long term signatur...
This document specifies the elements defined in the international standards of ISO/ITU-T, ETSI and IETF RFC that enable at least a proof of existence of data objects and digital signatures and the preservation of the validity status of digital signatures over a long period of time used in validation.
It provides the definitions of the proof of existence (PoE) attributes and clarification of the…
Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphic...
This document defines a Petri net modeling language or technique, called high-level Petri nets, including its syntax and semantics. It provides a reference definition that can be used both within and between organizations, to ensure a common understanding of the technique and of the specifications written using the technique. This document also facilitates the development and interoperability of…
This document specifies mathematical symbols, explains their meanings, and gives verbal equivalents and applications.
This document is intended mainly for use in the natural sciences and technology, but also applies to other areas where mathematics is used.
This document specifies mathematical symbols, explains their meanings, and gives verbal equivalents and applications.
This document is intended mainly for use in the natural sciences and technology, but also applies to other areas where mathematics is used.