المؤلفون: Saddem-yagoubi, Rim^{Aff1, Aff2}, Naud, Olivier, Godary-dejean, Karen, Crestani, Didier

المصدر: Discrete Event Dynamic Systems: Theory and Applications. 30(4):579-604

المؤلفون: Ivanov, Dmitry^{Aff15, Aff16}, Larsen, Kim G.^Aff16, Schupp, Sibylle^Aff15, Srba, Jiří^Aff16

المساهمون: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, McIver, Annabelle, editor^Aff13, Horvath, Andras, editor^Aff14

المصدر: Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. 11024:173-189

المؤلفون: Rachmat Wahid Saleh Insani, Reza Pulungan

المصدر: IJCCS (Indonesian Journal of Computing and Cybernetics Systems), Vol 10, Iss 1, Pp 93-102 (2016)

مصطلحات موضوعية: modeling, verification, EE-OLSR, UPPAAL CORA, Cybernetics, Q300-390, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://jurnal.ugm.ac.id/ijccs/article/view/11192; https://doaj.org/toc/1978-1520; https://doaj.org/toc/2460-7258

URL الوصول: https://doaj.org/article/06c3fb0a79fd42b4ba0e067a18c57959

المؤلفون: Karen Godary-Dejean, Didier Crestani, Olivier Naud, Rim Saddem-Yagoubi

المساهمون: Information – Technologies – Analyse Environnementale – Procédés Agricoles (UMR ITAP), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

المصدر: Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, Springer Verlag, 2020, 30, pp.579-604. ⟨10.1007/s10626-020-00313-1⟩

مصطلحات موضوعية: Model checking, 030213 general clinical medicine, 0209 industrial biotechnology, Mathematical optimization, Computer science, Controller synthesis, Context (language use), 02 engineering and technology, Plot (graphics), Field (computer science), 03 medical and health sciences, 020901 industrial engineering & automation, 0302 clinical medicine, Reachability, [SDV.SA.STA]Life Sciences [q-bio]/Agricultural sciences/Sciences and technics of agriculture, Constraint programming, sort, Optimisation, [MATH]Mathematics [math], Electrical and Electronic Engineering, Timed automata, 2. Zero hunger, Precision agriculture, Vehicle routing, UPPAAL-CORA, Formal verification, Model-checking, Control and Systems Engineering, Modeling and Simulation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15ce622c0fba66289a032e15f8f974b5
https://doi.org/10.1007/s10626-020-00313-1

المؤلفون: Karen Godary Dejean, Rim Saddem Yagoubi, Didier Crestani, Olivier Naud

المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Information – Technologies – Analyse Environnementale – Procédés Agricoles (UMR ITAP), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), ANR-14-CE27-0004,AdAP2E,Plate-forme de production environnementale adaptable et autonome(2014), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)

المصدر: 14th IFAC Workshop on Discrete Event Systems (WODES)
14th IFAC Workshop on Discrete Event Systems (WODES), May 2018, Sorrento Coast, Italy. pp.57-63, ⟨10.1016/j.ifacol.2018.06.279⟩

مصطلحات موضوعية: Model checking, 0209 industrial biotechnology, Mathematical optimization, Computer science, Context (language use), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Field (computer science), [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Reachability, Vehicle routing problem, Constraint programming, sort, Optimisation, Timed automata, 2. Zero hunger, Precision agriculture, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Vehicle routing, Formal verification, 010201 computation theory & mathematics, Control and Systems Engineering, UppAal CORA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a9c4c8f015e600ec818f27057ba430c
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01935442

المؤلفون: Ahmad, Waheed, Yildiz, Bugra M., Rensink, Arend, Stoelinga, Mariëlle, Berger, C., Mousavi, M., Wisniewski, R.

المصدر: Cyber Physical Systems. Design, Modeling, and Evaluation ISBN: 9783319517377
CyPhy
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers, 1-16
STARTPAGE=1;ENDPAGE=16;TITLE=Cyber Physical Systems. Design, Modeling, and Evaluation

مصطلحات موضوعية: Model checking, Dataflow, Computer science, Model transformation, Interoperability, SDF, 02 engineering and technology, computer.software_genre, Eclipse, Extensibility, Uppaal Cora, EuGenia, Ecore, GMF, HW/SW co-design, Metamodel, 0202 electrical engineering, electronic engineering, information engineering, EC Grant Agreement nr.: FP7/318490, Viola-Jones face detector, computer.programming_language, Model Transformation, Programming language, business.industry, 020206 networking & telecommunications, Synchronous Data Flow, UPPAAL, 020202 computer hardware & architecture, Metamodeling, ETL, Model Driven Engineering, Priced Timed Automata, Model-driven architecture, Software engineering, business, computer

وصف الملف: application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::935e53512f2952c18986e337ec824411
https://doi.org/10.1007/978-3-319-51738-4_1

المؤلفون: 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

المؤلفون: Kumar, Rajesh, Ruijters, Enno Jozef Johannes, Stoelinga, Mariëlle Ida Antoinette, Sankaranarayanan, Sriram, Vicario, Enrico

المصدر: Lecture Notes in Computer Science ISBN: 9783319229744
FORMATS
Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), 156-171
STARTPAGE=156;ENDPAGE=171;TITLE=Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015)

مصطلحات موضوعية: Attack Tree, Model checking, Theoretical computer science, Principle of compositionality, Computer science, Attack tree, Timed automaton, Socio-technical security, Computer security, computer.software_genre, FMT-MC: MODEL CHECKING, Rotation formalisms in three dimensions, EWI-25869, Model Checking, Uppaal Cora, Automaton, EC Grant Agreement nr.: FP7/318003, Case Studies, Ranking, IR-97025, EC Grant Agreement nr.: FP7/2007-2013, Key (cryptography), computer, Attacker Profile, METIS-312524

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adaf6daf0239cf41b8fe8871f06a2f21
https://doi.org/10.1007/978-3-319-22975-1_11

المؤلفون: Peter Bulychev, Paul Pettersson, Morgan Magnin, Wang Yi, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Joakim Byg, Gerd Behrmann, Didier Lime, Jiri Srba, Thomas Chatain, Olivier Roux, Alexandre David, Kenneth Y. Joergensen, Louis Marie Traonouez

المساهمون: Jard, Claude, H. Roux, Olivier, Roux, Olivier H.

المصدر: David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, K G, Pettersson, P, Rasmussen, J I, Srba, J, Yi, W, Joergensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L M 2013, Tools for Model-Checking Timed Systems . in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods . Wiley, pp. 165-225 . https://doi.org/10.1002/9781118558188.ch6
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methods

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::024ccdc25a469599b1dea37374607d90
https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3

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