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