المؤلفون: Seidner, C., Roux, O. H.

المصدر: IEEE Transactions on Industrial Informatics IEEE Trans. Ind. Inf. Industrial Informatics, IEEE Transactions on. 4(4):280-291 Nov, 2008

المؤلفون: Boyer, M.^Aff1, Roux, O. H.^Aff2

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kleijn, Jetty, editor, Yakovlev, Alex, editor

المصدر: Petri Nets and Other Models of Concurrency – ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings. 4546:63-82

المؤلفون: Bérard, B.^Aff18, Cassez, F.^Aff19, Haddad, S.^Aff18, Lime, Didier^Aff20, Roux, O. H.^Aff19

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Peled, Doron A., editor^Aff16, Tsay, Yih-Kuen, editor^Aff17

المصدر: Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings. 3707:293-307

المؤلفون: David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, Paul, Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H., Traonouez, L. -M

المصدر: Communicating Embedded Systems: Software and Design: Formal Methods. :165-225

مصطلحات موضوعية: Model-checking, and tools, ROMEO, and timed extensions, TAPAAL, timed-arc Petri nets, UPPAAL, timed automata/symbolic, UPPAAL-CORA/-TIGA

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-31644

المؤلفون: Didier Lime, Roux, O. H., Jard, C.

المساهمون: Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique

المصدر: Scopus-Elsevier

مصطلحات موضوعية: Time Petri nets, Timed Automata, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Timed models, Real-time systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b1fcbbfbec6283824327a177795edeb4
https://hal.science/hal-00725792/file/CTS-extended.pdf

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Kleijn, Jetty, Yakovlev, Alex, Boyer, M., Roux, O. H.

المصدر: Petri Nets & Other Models of Concurrency: ICATPN 2007; 2007, p63-82, 20p

المؤلفون: Peled, Doron A., Tsay, Yih-Kuen, Bérard, B., Cassez, F., Haddad, S., Lime, Didier, Roux, O. H.

المصدر: Automated Technology for Verification & Analysis; 2005, p293-307, 15p

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.