Works matching DE "SIMULINK (Computer software)"


Results: 566
    1
    2
    3
    4
    5
    6
    7

    The Refinement Calculus of Reactive Systems Toolset.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 689, doi. 10.1007/s10009-020-00561-4
    By:
    • Dragomir, Iulia;
    • Preoteasa, Viorel;
    • Tripakis, Stavros
    Publication type:
    Article
    8

    Hybrid automata: from verification to implementation.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 87, doi. 10.1007/s10009-017-0458-1
    By:
    • Bak, Stanley;
    • Beg, Omar Ali;
    • Bogomolov, Sergiy;
    • Johnson, Taylor T.;
    • Nguyen, Luan Viet;
    • Schilling, Christian
    Publication type:
    Article
    9

    Software engineering practices and Simulink: bridging the gap.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 95, doi. 10.1007/s10009-017-0450-9
    By:
    • Pantelic, Vera;
    • Postma, Steven;
    • Lawford, Mark;
    • Jaskolka, Monika;
    • Mackenzie, Bennett;
    • Korobkine, Alexandre;
    • Bender, Marc;
    • Ong, Jeff;
    • Marks, Gordon;
    • Wassyng, Alan
    Publication type:
    Article
    10

    Generating test case chains for reactive systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 319, doi. 10.1007/s10009-014-0358-6
    By:
    • Schrammel, Peter;
    • Melham, Tom;
    • Kroening, Daniel
    Publication type:
    Article
    11

    Constraint-based BMC: a backjumping strategy.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 103, doi. 10.1007/s10009-012-0258-6
    By:
    • Collavizza, Hélène;
    • Le Vinh, Nguyen;
    • Ponsini, Olivier;
    • Rueher, Michel;
    • Rollet, Antoine
    Publication type:
    Article
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50