Login
Registrieren
Passwort zurücksetzen
Veröffentlichen & Verteilen
Verlagslösungen
Vertriebslösungen
Themen
Veröffentlichungen
Zeitschriften
Bücher
Konferenzberichte
Verlage
Blog
Kontakt
Suche
Warenkorb
EUR
USD
GBP
Deutsch
English
Deutsch
Polski
Español
Français
Italiano
Home
Zeitschriften
Cybernetics and Information Technologies
Band 16 (2016): Heft 4 (December 2016)
Uneingeschränkter Zugang
An Approach of XML Query Evaluation Based Model Checking
Li Yan-Mei
Li Yan-Mei
,
Huang Shao-Bin
Huang Shao-Bin
,
Li Ya
Li Ya
und
Xu Li
Xu Li
| 22. Dez. 2016
Cybernetics and Information Technologies
Band 16 (2016): Heft 4 (December 2016)
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zusammenfassung
Referenzen
Autoren
Artikel in dieser Ausgabe
Vorschau
PDF
Zitieren
Teilen
Online veröffentlicht:
22. Dez. 2016
Seitenbereich:
45 - 54
DOI:
https://doi.org/10.1515/cait-2016-0066
Schlüsselwörter
XML
,
model checking
,
Xpath
,
temporal logic
,
SPS
© by Li Yan-Mei
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Li Yan-Mei
College of Computer Science and Technology, Harbin Engineering University, Harbin 150001,
China
Huang Shao-Bin
College of Computer Science and Technology, Harbin Engineering University, Harbin 150001,
China
Li Ya
College of Computer Science and Technology, Harbin Engineering University, Harbin 150001,
China
Xu Li
College of Computer Science and Technology, Harbin Engineering University, Harbin 150001,
China