Zobrazeno 1 - 10
of 14
pro vyhledávání: '"standard conformance"'
Publikováno v:
Formal Methods for Industrial Critical Systems. 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Formal Methods for Industrial Critical Systems. 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings ; ISBN 978-3-030-85247-4
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021)
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings ; ISBN: 978-3-030-85247-4
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), European Research Consortium for Informatics and Mathematics: ERCIM, Working Group on Formal Methods for Industrial Critical Systems, Aug 2021, Paris (virtual), France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Lecture Notes in Computer Science (LNCS)
Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems
FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Formal Methods for Industrial Critical Systems. 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings ; ISBN 978-3-030-85247-4
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021)
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings ; ISBN: 978-3-030-85247-4
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), European Research Consortium for Informatics and Mathematics: ERCIM, Working Group on Formal Methods for Industrial Critical Systems, Aug 2021, Paris (virtual), France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Lecture Notes in Computer Science (LNCS)
Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems
FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
International audience; Checking the conformance of a system design to a standard is a central activity in the system engineering life cycle, a fortiori when the concerned system is deemed critical. Standard conformance checking entails ensuring that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e149d76429232596e21b93a76f9eaf58
https://hal.archives-ouvertes.fr/hal-03487118
https://hal.archives-ouvertes.fr/hal-03487118
Publikováno v:
UVaDOC. Repositorio Documental de la Universidad de Valladolid
instname
BULERIA. Repositorio Institucional de la Universidad de León
instname
BULERIA. Repositorio Institucional de la Universidad de León
Thesauri are conceptual tools useful to achieve semantic interoperability and reusability, which are relevant goals in the Semantic Web. Thesaurus standards establish, among other issues, the constructs that can appear in a thesaurus. The ISO 25964 s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9cd0eabb598c773268d0d4ad8f9fe67
http://hdl.handle.net/10612/10219
http://hdl.handle.net/10612/10219
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
A. Wiles, Behcet Sarikaya
Publikováno v:
Computer Standards and Interfaces
The International Standards Organization (ISO) has defined a protocol test language called TTCN (Tree and Tabular Combined Notation) to specify abstract test suites for Open Systems Interconnection (OSI) protocols. TTCN combines a tree notation for d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::294da71ba284170d9d82a7d65237e47e
https://doi.org/10.1016/0920-5489(92)90054-h
https://doi.org/10.1016/0920-5489(92)90054-h
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.