المؤلفون: Thierry Massart, Tristan Le Gall, Hervé Marchand, Gabriel Kalyon

المساهمون: Université libre de Bruxelles (ULB), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Roberto Bruni, Juergen Dingel, TC 6, WG 6.1, Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))

المصدر: Lecture notes in computer science, 6722
Lecture Notes in Computer Science
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE)
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.198-212, ⟨10.1007/978-3-642-21461-5_13⟩
Formal Techniques for Distributed Systems ISBN: 9783642214608
FMOODS/FORTE

مصطلحات موضوعية: 0209 industrial biotechnology, Finite-state machine, Theoretical computer science, Reachability problem, FIFO (computing and electronics), Computer science, Informatique générale, Subroutine, Distributed computing, Computation, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Abstract interpretation, 01 natural sciences, Undecidable problem, 020901 industrial engineering & automation, 010201 computation theory & mathematics, State (computer science), Algorithm

وصف الملف: 1 full-text file(s): application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08d9c0e29b2843cb5bb4020c3e45ac07
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/133292

المؤلفون: Thierry Massart, Tristan Le Gall, Gabriel Kalyon, Hervé Marchand

المساهمون: Université libre de Bruxelles (ULB), Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: Discrete event dynamic systems, 21 (3
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.359-393. ⟨10.1007/s10626-011-0106-y⟩
Discrete Event Dynamic Systems, 2011, 21 (3), pp.359-393. ⟨10.1007/s10626-011-0106-y⟩

مصطلحات موضوعية: 0209 industrial biotechnology, Mathematical optimization, Computer science, business.industry, Informatique générale, Computation, Structure (category theory), 020207 software engineering, Usability, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Abstract interpretation, Decentralised system, Set (abstract data type), 020901 industrial engineering & automation, Control and Systems Engineering, Control theory, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, State (computer science), Electrical and Electronic Engineering, business

وصف الملف: 1 full-text file(s): application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8aa64251a4774d6cff80bbda4e070c4
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/133301