Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

Galois Lattices-based Formal Design Concept Analysis for Crowdsourcing Design

Jihoon Kim, Kyoung-Yun Kim

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2003-5

TRANSACTION-ORIENTED ENGINEERING DESIGN AND FORMAL SPECIFICATION: A MULTI-AGENT APPROACH

Muhammad Younas, Kuo-Ming Chao, Rachid Anane [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2005-2

Formal design of self-stabilizing programs

I.S.W.B. Prasetya, S.D. Swierstra

Journal of High Speed Networks

Retricted access

Research article

First published 1986-6

The Structure of Paintings: Formal Grammar and Design

J L Kirsch, R A Kirsch

Environment and Planning B: Urban Analytics and City Science

Retricted access

Research article

First published 2011-2

Formal Analysis of SystemC Designs in Process Algebra

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Fundamenta Informaticae

Retricted access

Research article

First published 2004-9

Formal Refinement Checking in a System-level Design Methodology

Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1986-6

Formal Representations: A Foundation for Computer-Aided Architectural Design

W J Mitchell

Environment and Planning B: Urban Analytics and City Science

Retricted access

Research article

First published 1997-7

Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic

Shie-Jue Lee, Wei-Jer Lin

Fundamenta Informaticae

Open access

Research article

First published 2021-10

Towards a formal framework for integrated design-optimization and control of mechatronicsystems

Fariba Rahimi

Science Progress

Retricted access

Research article

First published 1993-12

Wren's Language of City Church Designs: A Formal Generative Classification

H Buelinckx

Environment and Planning B: Urban Analytics and City Science

Search results