المؤلفون: Frédéric Tuong, Burkhart Wolff

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 13-28 (2019)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1912.10630v1; https://doaj.org/toc/2075-2180

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

المؤلفون: Makarius Wenzel, Burkhart Wolff

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 79, Iss Proc. THedu 2011, Pp 143-153 (2012)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1202.4835v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/83200dfc8b934009b50605561dae121f

المؤلفون: Achim D. Brucker, Idir Ait-Sadoune, Nicolas Méric, Burkhart Wolff

المصدر: Rigorous State-Based Methods ISBN: 9783031331626

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2e43f76b828096bc912fbd1cb97e50a2
https://doi.org/10.1007/978-3-031-33163-3_2

المؤلفون: Frédéric Boulanger, Hai Nguyen Van, Burkhart Wolff

المساهمون: Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)

المصدر: SNE Simulation Notes Europe
SNE Simulation Notes Europe, ArgeSIM, 2020, 30 (2), pp.51-60. ⟨10.11128/sne.30.tn.10512⟩

مصطلحات موضوعية: 0209 industrial biotechnology, Computer science, Aviation, business.industry, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Discrete event simulation, business, Simulation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1ec8fc7499f3947b510ecb54a6157c5
https://hal-centralesupelec.archives-ouvertes.fr/hal-02881889/document

المؤلفون: Hai Nguyen Van, Chantal Keller, Benoît Valiron, Thibaut Balabonski, Frédéric Boulanger, Burkhart Wolff

المساهمون: Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), CentraleSupélec

المصدر: Lecture Notes in Computer Science ISBN: 9783030576271
FORMATS
18th International Conference on Formal Modeling and Analysis of Timed Systems
18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩

مصطلحات موضوعية: Soundness, 050101 languages & linguistics, Computer science, Programming language, Concurrency, 05 social sciences, Proof assistant, HOL, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Specification language, 16. Peace & justice, Mathematical proof, computer.software_genre, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Operational semantics, Denotational semantics, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6f9c88ceb3a259fc604d61fd34e9fc0
https://doi.org/10.1007/978-3-030-57628-8_2

المؤلفون: Lina Ye, Safouan Taha, Burkhart Wolff

المساهمون: Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

المصدر: Lecture Notes in Computer Science ISBN: 9783030634605
IFM
16th International Conference on Integrated Formal Methods
16th International Conference on Integrated Formal Methods, 2020, ⟨10.1007/978-3-030-63461-2_23⟩

مصطلحات موضوعية: Computer science, Concurrency, Process calculus, HOL, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Divergence (computer science), Process-Algebra, Denotational semantics, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Computational Models, computer.programming_language, Computational model, Programming language, business.industry, 020207 software engineering, Communicating sequential processes, Automation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd70508f49ca23a9cb817d3b0dfbb1c5
https://doi.org/10.1007/978-3-030-63461-2_23

المؤلفون: Peter Lammich, Joshua A. Bockenek, Burkhart Wolff, Yakoub Nemouchi

المصدر: EasyChair Preprints.

مصطلحات موضوعية: Sorting algorithm, Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Parallel computing

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1d58ddb783389ac7263b2e743e2f31da
https://doi.org/10.29007/ddqm

المؤلفون: Achim D. Brucker, Burkhart Wolff

المصدر: Lecture Notes in Computer Science ISBN: 9783030349677
IFM

مصطلحات موضوعية: Consistency (negotiation), Documentation, ComputingMilieux_THECOMPUTINGPROFESSION, business.industry, Computer science, Certification, Software engineering, business, Security critical systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5c71d547405b7a70cf126ca4735601a1
https://doi.org/10.1007/978-3-030-34968-4_4

المؤلفون: Achim D. Brucker, Burkhart Wolff

المصدر: Software Engineering and Formal Methods ISBN: 9783030304454
SEFM

مصطلحات موضوعية: Consistency (negotiation), Development (topology), Common Criteria, business.industry, Computer science, 0202 electrical engineering, electronic engineering, information engineering, 020206 networking & telecommunications, 020201 artificial intelligence & image processing, 02 engineering and technology, Certification, Ontology (information science), Software engineering, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::206d070383cd30163b8ff4e765a57b92
https://doi.org/10.1007/978-3-030-30446-1_15

المؤلفون: Frédéric Tuong, Burkhart Wolff, Achim D. Brucker

المصدر: The Journal of Object Technology. 19:3:1

مصطلحات موضوعية: Reflection (computer programming), Computer science, Programming language, business.industry, Model transformation, Proof assistant, Software development, HOL, Construct (python library), computer.software_genre, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Code generation, business, computer, Software, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8c37526eb0a801060b3160b827816291
https://doi.org/10.5381/jot.2020.19.3.a3