{“id”：“https://openalex.org/W2068896853“，”doi“：”https://doi.org/10.1007/bf00402649“，”title“：“系统测试和形式验证以验证反应性程序”，”display_name“：”系统测试和正式验证以验证响应性程序“，”publication_year“：1995，”publiation_date“：”1995-12-01“，”ids“：{”openalex“：”https://openalex.org/W2068896853“，”doi“：”https://doi.org/10.1007/bf00402649“，”mag“：”2068896853“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bf00402649“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S7504070“，”display_name“：”软件质量日志“，”issn_l“：”0963-9314“，”isn“：[”09639-9314“，”1573-1367“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5098016154“，”display_name“：”Monika M\uffdllerburg“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210166048“，”display_name“：”Gesellschaft Fur Mathematik Und Datenverabeitung“，”ror“：”https://ror.org/02g6d4t03“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210166048“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Monika M\uffdllerburg“，”raw _ affiliation_strings“：[“Schloss Birlinghoven，GMD-SET，D-53757，Sankt Augustin，Germany”]，“affiliation”：[{“raw_affiliation_string”：“Schlose Birlinghoven，GMD-SET，D-5375，Sankt-Augustin，German”，“institution_ids”：[”https://openalex.org/I4210166048“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5000945444“，”display_name“：”Leszek Holenderski“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210166048“，”display_name“：”Gesellschaft Fur Mathematik Und Datenverabeitung“，”ror“：”https://ror.org/02g6d4t03“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210166048“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Leszek Holenderski“，”raw _affiliation_strings“：[“Schloss Birlinghoven，GMD-SET，D-53757，Sankt Augustin，Germany”]，“afliations”：[{“raw_affiliation _string”：“Schlose Birlinghoven，GMD-SET，D-5375，Sankt-Agustin”，German”，“institution_ids”：[”https://openalex.org/I4210166048“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5086002763“，”display_name“：”Olivier Maffe\u00efs“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210166048“，”display_name“：”Gesellschaft Fur Mathematik Und Datenverabeitung“，”ror“：”https://ror.org/02g6d4t03“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210166048“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Olivier Maffeis“，”raw _affiliation_strings“：[“Schloss Birlinghoven，GMD-SET，D-53757，Sankt Augustin，Germany”]，”affiliations“：[{”raw _affiliation_string“：”Schloss Berlinghovin，GMD SET，D 53757https://openalex.org/I4210166048“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5071069677“，”display_name“：”Agathe Merceron“，”orcid“：”https://orcid.org/0000-0003-2015-5359}，“机构”：[{“id”：https://openalex.org/I4210166048“，”display_name“：”Gesellschaft Fur Mathematik Und Datenverabeitung“，”ror“：”https://ror.org/02g6d4t03“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210166048“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Agathe Merceron“，”raw _affiliation_strings“：[“Schloss Birlinghoven，GMD-SET，D-53757，Sankt Augustin，Germany”]，“afliations”：[{“raw_affiliation _string”：“Schlose Birlinghoven，GMD-SET，D-5375，Sankt-Augustin，German”，“institution_ids”：[”https://openalex.org/I4210166048“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5034878731“，”display_name“：”Matthew Morley“，”orcid“：”https://orcid.org/0000-0002-2387-2923}，“机构”：[{“id”：https://openalex.org/I4210166048“，”display_name“：”Gesellschaft Fur Mathematik Und Datenverabeitung“，”ror“：”https://ror.org/02g6d4t03“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210166048“]]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Matthew Morley“，”raw_affiation_strings“：[”Schloss Birlinghoven，GMD-SET，D-53757，Sankt Augustin，Germany“]，”附属机构“：[{”raw_affiation_string“：”Schloss Birlinghoven，GMD-SET，D-53757，Sankt Augustin，Germany“，”机构“：[”https://openalex.org/I4210166048“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：5.583，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cit ed_by_count“：17，”cited_by_percentile_year“：{”min“：84，”max“：85}，”biblio“：{”volume“：”4“，”issue“：”5“，”first_page“：”287“，”last_page“：“307”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10743“，”display_name“：”自动化软件测试技术“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10743“，”display_name“：”自动化软件测试技术“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9993，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.575509}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.574403}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.553461}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.507556}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7388301}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.73280644}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.6393361}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.61820346}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.6138921}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.57418513}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.47027853}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.4326696}，{”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”“display_name”“：”规范语言“，”级别“：2，”分数“：0.42841485}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.34950176}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.12629586}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.116294116}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bf00402649“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S7504070“，”display_name“：”软件质量日志“，”issn_l“：”0963-9314“，”isn“：[”09639-9314“，”1573-1367“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：null'，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“display_name”：“Climate action”，“score”：0.59，“id”：“”https://metadata.un.org/sdg/13“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：11，”referrenced_works“：【”https://openalex.org/W1546220007","https://openalex.org/W2005150099","https://openalex.org/W2016459973","https://openalex.org/W2100500718","https://openalex.org/W2117189826","https://openalex.org/W2150668495","https://openalex.org/W2151250735","https://openalex.org/W2159542925","https://openalex.org/W4206455946","https://openalex.org/W4300021588","https://openalex.org/W78382735“]，”related_works“：[”https://openalex.org/W2607268704","https://openalex.org/W2238880588","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W2049993111","https://openalex.org/W2034589735","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W1608485412","https://openalex.org/W1544097700“]，”ngrams_url“：”https://api.openalex.org/works/W2068896853/ngrams“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2068896853“，”counts_by_year“：[{”年“：2023，”引用_by_count“：1}]，”更新日期“：”2024-06-29T08:59:34.186246“，”创建日期“：“2016-06-24”}