DEMAND SYSTEM SPECIFICATION AND ESTIMATION

6,900

博客來

ASSL - AUTONOMIC SYSTEM SPECIFICATION LANGUAGE

4,693

博客來

HIGH-LEVEL SYSTEM MODELING: SPECIFICATION LANGUAGES

6,599

博客來

HIGH-LEVEL SYSTEM MODELING: SPECIFICATION LANGUAGES

6,599

博客來

HIGH-LEVEL SYSTEM MODELING: SPECIFICATION AND DESIGN METHODOLOGIES

10,199

博客來

LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL’

10,199

博客來

AURAVANA SYSTEM OVERVIEW (COLOR): SOCIETAL SPECIFICATION STANDARD

1,100

博客來

SYSTEM SPECIFICATION AND DESIGN LANGUAGES: SELECTED CONTRIBUTIONS FROM FDL 2010

10,199

博客來

SYSTEM SPECIFICATION AND DESIGN LANGUAGES: SELECTED CONTRIBUTIONS FROM FDL 2010

10,199

博客來

SECURITY POLICY IN SYSTEM-ON-CHIP: SPECIFICATION, IMPLEMENTATION AND VERIFICATION

3,299

博客來

AN INTRODUCTION TO DISCRETE MATHEMATICS, FORMAL SYSTEM SPECIFICATION, AND Z

10,979

博客來

GREEN GUIDE TO SPECIFICATION: AN ENVIRONMENTAL PROFILING SYSTEM FOR BUILDING MATERIALS AND

4,482

博客來

DESCRIPTION AND SPECIFICATION OF A NEW SYSTEM OF LOCOMOTIVE ENGINES FOR RAILWAYS ...

769

博客來

SECURITY POLICY IN SYSTEM-ON-CHIP DESIGNS: SPECIFICATION, IMPLEMENTATION AND VERIFICATION

3,299

博客來

DEVELOPMENT SPECIFICATION FOR THE PORTABLE LIFE SUPPORT SYSTEM (PLSS) THERMAL LOOP PUMP

1,264

博客來

THE GREEN GUIDE TO SPECIFICATION: AN ENVIRONMENTAL PROFILING SYSTEM FOR BUILDING MATERIALS AND COMPONENTS

9,990

博客來

AUTOMATIC METHODS FOR THE REFINEMENT OF SYSTEM MODELS: FROM THE SPECIFICATION TO THE IMPLEMENTATION

3,299

博客來

LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY S

11,000

博客來

HOME SERVER BASED PERSONAL ARCHIVE MANAGEMENT SYSTEM: ANALYSIS, DESIGN AND SPECIFICATION OF A PERSONAL INFORMATION ARCHIVE SEARCH

655

博客來

SYNDEVS CO-DESIGN FLOW: A HARDWARE / SOFTWARE CO-DESIGN FLOW BASED ON DISCRETE EVENT SYSTEM SPECIFICATION MODEL OF COMPUTATION

3,299

博客來