{"id":"https://openalex.org/W1526454","doi":null,"title":"Modelisation et validation d'applications temps reel distribuees","display_name":"Modelisation et validation d'applications temps reel distribuees","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W1526454","mag":"1526454"},"language":"fr","primary_location":{"id":"pmh:hdl:10068/49670","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/49670","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10068/49670","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021845824","display_name":"\u00c9ric Nassor","orcid":"https://orcid.org/0000-0001-6436-3319","observed_orcids":["https://orcid.org/0000-0001-6436-3319"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"\u00c9ric Nassor","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-6436-3319","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5021845824"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.002300000051036477,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/distributed-real-time-systems","display_name":"distributed real-time systems","score":0.8700000047683716},{"id":"https://openalex.org/keywords/synchronous-model","display_name":"synchronous model","score":0.7839999794960022},{"id":"https://openalex.org/keywords/logical-time","display_name":"logical time","score":0.8790000081062317},{"id":"https://openalex.org/keywords/temporal-analysis","display_name":"temporal analysis","score":0.7009999752044678},{"id":"https://openalex.org/keywords/time-constraints","display_name":"time constraints","score":0.7450000047683716},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"fault tolerance","score":0.9139999747276306},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.6669999957084656},{"id":"https://openalex.org/keywords/temporal-logic-specifications","display_name":"temporal logic specifications","score":0.781000018119812},{"id":"https://openalex.org/keywords/real-time-validation","display_name":"real-time validation","score":0.6570000052452087}],"concepts":[{"id":"https://openalex.org/C2779273396","wikidata":"https://www.wikidata.org/wiki/Q1420806","display_name":"Reel","level":2,"score":0.8284893035888672},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.7971537113189697},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.290143221616745},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.2755015194416046},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:hdl:10068/49670","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/49670","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"mag:1526454","doi":null,"is_oa":false,"landing_page_url":"http://www.theses.fr/1992PA112186","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:hdl:10068/49670","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/49670","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W368955681","https://openalex.org/W3211701405","https://openalex.org/W106118771","https://openalex.org/W7082101135","https://openalex.org/W24417637","https://openalex.org/W7143489602","https://openalex.org/W2230032411","https://openalex.org/W7147571065","https://openalex.org/W71240443","https://openalex.org/W2519419095"],"abstract_inverted_index":{"Ce":[0,21],"travail":[1],"presente":[2],"les":[3,105,127],"bases":[4],"de":[5,13,52,63,67,74,108,112,124,129],"l'architecture":[6],"d'un":[7,34],"systeme":[8,22,47],"distribue,":[9],"temps":[10,35,39,95,99,113],"reel,":[11],"sur":[12,25],"fonctionnement,":[14],"se":[15],"pretant":[16],"bien":[17],"a":[18,32,89],"la":[19,53,77,110,118],"validation.":[20],"est":[23,82,115],"base":[24],"une":[26],"implementation":[27],"distribuee":[28],"du":[29,38,44,46],"modele":[30],"synchrone":[31],"l'aide":[33],"logique":[36,100,119],"distinct":[37],"reel.":[40],"Une":[41],"analyse":[42],"temporelle":[43,120],"fonctionnement":[45],"permet":[48],"d'assurer":[49],"le":[50,58,85,94,98],"respect":[51,59],"semantique":[54,78],"synchrone,":[55,76],"ainsi":[56],"que":[57],"des":[60,79,102],"contraintes":[61],"temporelles":[62],"l'application.":[64],"Des":[65],"mecanismes":[66],"tolerance":[68],"aux":[69],"fautes":[70],"peuvent":[71],"etre":[72],"decrits":[73],"maniere":[75],"fautes,":[80],"qui":[81],"precisee":[83],"dans":[84,104,117],"langage,":[86],"etant":[87],"respectee":[88],"l'implementation.":[90],"La":[91],"distinction":[92],"entre":[93],"reel":[96,114],"et":[97,126],"entraine":[101],"modifications":[103],"techniques":[106,128],"classiques":[107],"validation:":[109],"notion":[111],"introduite":[116],"utilisee":[121],"comme":[122],"langage":[123],"specification,":[125],"modelchecking":[130],"sont":[131],"modifiees":[132],"pour":[133],"en":[134],"tenir":[135],"compte":[136]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}