{"entities":{"Q1582980":{"pageid":1593720,"ns":120,"title":"Item:Q1582980","lastrevid":67953708,"modified":"2026-04-12T20:27:37Z","type":"item","id":"Q1582980","labels":{"en":{"language":"en","value":"Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20--22, 2000. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1519453"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582980$49AE82F0-5E5A-41EA-9956-C5423A030F21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5235dd96f2187c68c56b3ef0d3f0994488f73c2e","datavalue":{"value":{"text":"Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20--22, 2000. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1582980$11CD4B9D-C7F3-46BF-BEBA-B43241040565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13bb918cfc9d4699e9c781bd231e8555f2653a02","datavalue":{"value":"0947.00042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582980$E4C7F6DC-0B1A-45E0-A7DE-286C54C08F0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de8bf561ef623446d4310d0f8214e3a1fad20ffb","datavalue":{"value":"10.1007/3-540-45352-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582980$53DC3DB4-DA95-4014-9636-EE0A977CC02A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582980$CBC299FC-A62D-4876-9AC2-8FF0AC4DD08A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d142b1df5744501b8c2c66aa20cc87664cc9f4f","datavalue":{"value":{"time":"+2000-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1582980$360A9A4A-BD05-4AE9-BCEB-B3FA1408C9FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ce9477317a9aa41180cb514c9cbe0f180810629","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The 3rd symposium 1994 has been reviewed (see Zbl 0803.00029).  Indexed articles:  \\textit{Halbwachs, N.; H\u00e9ry, J.-F.; Laleuf, J.-C.; Nicollin, X.}, Stability of discrete sampled systems, 1-11 [Zbl 0986.93505]  \\textit{Moses, Yoram}, Issues in the refinement of distributed programs, 12-17 [Zbl 0986.68669]  \\textit{Damm, Werner}, Challenges in the verification of electronic control units, 18 [Zbl 0986.68594]  \\textit{Jensen, Henrik Ejersbo; Larsen, Kim Guldstrand; Skou, Arne}, Scaling up Uppaal. Automatic verification of real-time systems using compositionality and abstraction, 19-30 [Zbl 0986.68519]  \\textit{Sproston, Jeremy}, Decidable model checking of probabilistic hybrid automata, 31-45 [Zbl 0986.68058]  \\textit{Lano, K.; Clark, David; Androutsopoulos, K.; Kan, P.}, Invariant-based synthesis of fault-tolerant systems, 46-57 [Zbl 0986.68667]  \\textit{Breitling, Max}, Modeling faults of distributed, reactive systems, 58-69 [Zbl 0986.68701]  \\textit{Caspi, Paul; Salem, Rym}, Threshold and bounded-delay voting in critical control systems, 70-81 [Zbl 0986.68501]  \\textit{Kulkarni, Sandeep S.; Arora, Anish}, Automating the addition of fault-tolerance, 82-93 [Zbl 0986.68584]  \\textit{Hansson, Hans; Norstr\u00f6m, Christer; Punnekkat, Sasikumar}, Reliability modelling of time-critical distributed systems, 94-105 [Zbl 0986.68731]  \\textit{Altisen, K.; G\u00f6\u00dfler, G.; Sifakis, J.}, A methodology for the construction of scheduled systems, 106-120 [Zbl 0986.90501]  \\textit{Subramani, K.; Agrawala, Ashok}, A dual interpretation of ``standard constraints'' in parametric scheduling, 121-133 [Zbl 0986.68005]  \\textit{Tudoret, St\u00e9phane; Nadjm-Tehrani, Simin; Benveniste, Albert; Str\u00f6mberg, Jan-Erik}, Co-simulation of hybrid systems: Signal-Simulink, 134-151 [Zbl 0986.93502]  \\textit{Bhattacharjee, A. K.; Sen, Gopa; Dhodapkar, S. D.; Karunakar, K.; Rajan, Basant; Shyamasundar, R. K.}, A system for object code validation, 152-169 [Zbl 0986.68552]  \\textit{Hayes, Ian}, Real-time program refinement using auxiliary variables, 170-184 [Zbl 0986.68728]  \\textit{van der Meyden, Ron; Moses, Yoram}, On refinement and temporal annotations, 185-201 [Zbl 0986.68053]  \\textit{Back, Ralph-Johan; Petre, Luigia; Porres, Ivan}, Generalizing action systems to hybrid systems, 202-213 [Zbl 0986.68648]  \\textit{Holenderski, Leszek}, Compositional verification of synchronous networks, 214-227 [Zbl 0986.68516]  \\textit{Veloudis, Simeon; Nissanke, Nimal}, Modelling coordinated atomic actions in timed CSP, 228-239 [Zbl 0986.68500]  \\textit{D'Souza, Deepak}, A logical characterisation of event recording automata, 240-251 [Zbl 0986.68046]  \\textit{Adla\u00efde, Micha\u00ebl; Roux, Olivier}, Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, 252-263 [Zbl 0986.68050]  \\textit{Guelev, Dimitar P.}, Probabilistic neighbourhood logic, 264-275 [Zbl 0986.03025]  \\textit{Geilen, Marc; Dams, Dennis}, An on-the-fly tableau construction for a real-time temporal logic, 276-290 [Zbl 0986.03024]  \\textit{Baukus, Kai; Lakhnech, Yassine; Stahl, Karsten}, Verifying universal properties of parameterized networks, 291-303 [Zbl 0986.68062]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582980$54F969F5-F3A9-46FC-AB20-5719DA6A9371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582980$34694AEA-F907-45D7-AC1C-45F9FEAFA68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582980$45927AA1-B37A-4125-9C3D-C7CE344640C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa976a66ac800483dcca0b20912799dee2fb9edc","datavalue":{"value":"93-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582980$BAEF03E6-8F37-4585-8EE1-5A1276EF1813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2de42f23c76ddd5202df229ec416cd1cdacb1a3","datavalue":{"value":"1519453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582980$2586A3BA-3B88-4C2C-9BA9-57401BDE0D03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8565cd8448ddfa589adbc82afb4462d4b97c1d9","datavalue":{"value":"Pune (India)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582980$D12E052B-4A9D-4EEA-8C3F-CA5D2D5BF367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582980$06E6611B-C0A5-4653-B810-D14F6344C26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582980$1D236700-10DF-4C8B-AF41-710130E6CDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed41e96b1314a93a13ea651cff85b8495452595","datavalue":{"value":"FTRTFT 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582980$EF81FFF9-C7E0-4B8E-9D5E-6424FE44F9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582980$F5020CE0-7990-44D8-AF0E-4439DAC99A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7372f29b399f8a270a52f8a9711cf5057ec79cc9","datavalue":{"value":"Fault-tolerant systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582980$A7E2C68A-6A4B-4DD6-9ADC-BBD5D77F31F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582980$F76CA7B1-C5E6-46EB-A0AA-051E22B7F86E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582980$04A5864A-189A-4DF9-8811-CF9CD076A7D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6409fd97972411f1b21e55ff729efee15db335d","datavalue":{"value":"https://doi.org/10.1007/3-540-45352-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1582980$42552CA7-0BF5-4B78-A453-EAA3507AAAD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9edb49a98a3f1fff2c04835c27485b373c023457","datavalue":{"value":"W2491982257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582980$AFC77B35-21C1-4679-8006-63729819E5FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20--22, 2000. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_techniques_in_real-time_and_fault-tolerant_systems._6th_international_symposium,_FTRTFT_2000,_Pune,_India,_September_20--22,_2000._Proceedings"}}}}}