المؤلفون: Ghassemi, Fatemeh, Mousavi, Mohammad Reza, 1978

المصدر: Effective Model-Based Testing of Concurrent Systems AUTO-CAAS eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication The Journal of logical and algebraic methods in programming. 85(1, part 2):200-226

مصطلحات موضوعية: Software product line, Process theory, Product line bisimulation, Strict strong bisimulation, mu-Calculus, Axiomatization

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-30174
https://doi.org/10.1016/j.jlamp.2015.09.008
https://hh.diva-portal.org/smash/get/diva2:894430/FULLTEXT01.pdf

المؤلفون: Fatemeh Ghassemi, Mohammad Reza Mousavi

مصطلحات موضوعية: Uncategorized, Software product line, Process theory, Product line bisimulation, Strict strong bisimulation, μ-Calculus, Axiomatization

Relation: 2381/43429; https://figshare.com/articles/journal_contribution/Product_line_process_theory/10236203

الاتاحة: https://figshare.com/articles/journal_contribution/Product_line_process_theory/10236203

المؤلفون: Mohammad Reza Mousavi, Fatemeh Ghassemi

مصطلحات موضوعية: Computer and Information Sciences, μ-Calculus, Logic, Principle of compositionality, Computer science, Process calculus, mu-Calculus, 02 engineering and technology, computer.software_genre, Theoretical Computer Science, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Calculus of communicating systems, Equivalence (formal languages), Software product line, computer.programming_language, Programming language, business.industry, Software development, 020207 software engineering, Data- och informationsvetenskap, Strict strong bisimulation, Process theory, Behavioral modeling, Product line bisimulation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Axiomatization, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Property Specification Language, business, computer, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca37bcebb112a347d1989468fcd8a97d
http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-30174