-
1
المؤلفون: Janine Magnier, François Prunet, Vincent Chapurlat, D. Chalvet, Didier Crestani, Mireille Larnac
المصدر: IFAC Proceedings Volumes. 30:357-362
مصطلحات موضوعية: Sequential machine, Engineering, Operations research, Process (engineering), Hazardous waste, business.industry, Complex system, Industrial systems, Systems engineering, Factory (object-oriented programming), Petri net, Process architecture, business
-
2
المؤلفون: Janine Magnier, Vincent Chapurlat, Mireille Larnac
المصدر: IFAC Proceedings Volumes. 30:417-422
مصطلحات موضوعية: Engineering, business.industry, Industrial production, Systems engineering, Complex system, Production (economics), Temporal logic, User interface, Routing (electronic design automation), business, Manufacturing systems, Formal verification
-
3
المؤلفون: Janine Magnier, V. Chapurlat, Mireille Larnac, B. Chenot
المصدر: IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).
مصطلحات موضوعية: Automated theorem proving, Finite-state machine, Theoretical computer science, Runtime verification, Graph theory, Temporal logic, Algorithm, Formal verification, Formal proof, Mathematics, Verification and validation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::472985dab342bfaa7ff4476582ca67ce
https://doi.org/10.1109/icsmc.1999.814225 -
4
المؤلفون: M.G. Ales, D. Crestani, Janine Magnier, C. Coves, F. Prunet, V. Chapurlat, D. Chalvet, Mireille Larnac
المصدر: SMC
مصطلحات موضوعية: Knowledge management, Process modeling, business.industry, Computer science, Process (engineering), Integrated enterprise modeling, Petri net, Industrial engineering, Enterprise modelling, Computer-integrated manufacturing, Added value, Resource management, Enterprise information system, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f1f8d48ebe493b5dcbdc8a83ce95978d
https://doi.org/10.1109/icsmc.1998.725431 -
5
المؤلفون: Vincent Chapurlat, Janine Magnier, Mireille Larnac
المصدر: Proceedings Intelligent Information Systems. IIS'97.
مصطلحات موضوعية: Finite-state machine, Theoretical computer science, Computation tree logic, Linear temporal logic, Computer science, Interval temporal logic, Temporal logic, Temporal logic of actions, Formal verification, Formal system
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::57fbce08d9d7a54ae39e5c41d2af601f
https://doi.org/10.1109/iis.1997.645249 -
6
المؤلفون: Mireille Larnac, Vincent Chapurlat, Janine Magnier
المصدر: Computer Aided Systems Theory-EUROCAST’99 ISBN: 9783540678229
EUROCASTمصطلحات موضوعية: Finite-state machine, Proof complexity, Computer science, Symbolic computation, Mathematical proof, Formal proof, Computer-assisted proof, Formal language, Calculus, Temporal logic, Direct proof, Structural proof theory, Algorithm, Formal verification, Analytic proof
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6d6beae1ef38d418091ae621656401b6
https://doi.org/10.1007/10720123_11 -
7
المؤلفون: M. Larnal, Jean-Paul Pignon, Frederick Benaben, Janine Magnier
المساهمون: Centre Génie Industriel (CGI), IMT École nationale supérieure des Mines d'Albi-Carmaux (IMT Mines Albi), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT)
المصدر: SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, Nashville, United States. pp.1036-1040
SMCمصطلحات موضوعية: system design, Computer science, Generic property, Complex system, 02 engineering and technology, computer.software_genre, multi-technologies, Formal proof, [SPI]Engineering Sciences [physics], High-level design, High-level synthesis, proof, 0202 electrical engineering, electronic engineering, information engineering, function processing oriented, Formal verification, Simulation, validation, Programming language, modeling, functional and non-functional requirements, properties, instantiation, Systems design, formal translation, 020201 artificial intelligence & image processing, verification, computer, Verification and validation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6486eaddc5466540027779e21c321801
https://hal.archives-ouvertes.fr/hal-01596386 -
8
المؤلفون: Janine Magnier, Vincent Chapurlat, Mireille Larnac
المصدر: AIP Conference Proceedings.
مصطلحات موضوعية: Statement (computer science), Method of undetermined coefficients, Theoretical computer science, Discrete time and continuous time, Point (typography), Computer science, Adaptive system, Existential quantification, Temporal logic, Task (project management)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::df8d30592146cc669838c45137099de5
https://doi.org/10.1063/1.56320 -
9
المؤلفون: Janine Magnier, Benjamin Chenot, Vincent Chapurlat, Mireille Larnac
المصدر: Lecture Notes in Computer Science ISBN: 9783540638117
EUROCASTمصطلحات موضوعية: Propositional variable, Sequential machine, Finite-state machine, Theoretical computer science, Computer science, business.industry, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, Complex system, Systems theory, Temporal logic, Artificial intelligence, business, Formal representation, Formal verification, Astrophysics::Galaxy Astrophysics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8eaf7869ce162408e7a1f76db86ba24f
https://doi.org/10.1007/bfb0025037 -
10
المصدر: Computer Aided Systems Theory — EUROCAST '95 ISBN: 9783540607489
EUROCASTمصطلحات موضوعية: Set (abstract data type), Finite-state machine, Theoretical computer science, Functional verification, Linear temporal logic, Computer science, Symbolic trajectory evaluation, Complex system, Representation (mathematics), Combinatorial explosion
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1cef4677c1cb7a6fad4f40589195f4fd
https://doi.org/10.1007/bfb0034757
