A data−flow approach to test multi−agent ASMs

A data−flow approach to test multi−agent ASMs

অন্যান্য সংস্করণ প্রদর্শন করুন (1)

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Cavarra, A
বিন্যাস:	Journal article
প্রকাশিত:	2011

অনুরূপ উপাদানগুলি

A data-flow approach to test multi-agent ASMs.
অনুযায়ী: Cavarra, A
প্রকাশিত: (2011)

A Formal Semantics of UML: The ASM Approach
অনুযায়ী: Cavarra, A
প্রকাশিত: (2000)

An ASM Semantics for UML Activity Diagrams
অনুযায়ী: Börger, E, অন্যান্য
প্রকাশিত: (2000)

Specifying and Verifying the Parlay Call−Control Using ASMs
অনুযায়ী: Falcarin, P, অন্যান্য
প্রকাশিত: (2003)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
অনুযায়ী: Cavarra, A, অন্যান্য
প্রকাশিত: (2004)

On Formalizing UML State Machines using ASM
অনুযায়ী: Börger, E, অন্যান্য
প্রকাশিত: (2004)

An ASM Semantics for UML Activity Diagrams and UML State Machines
অনুযায়ী: Boerger, E, অন্যান্য
প্রকাশিত: (2000)

Inter−agent Data Flow Analysis of Abstract State Machines
অনুযায়ী: Cavarra, A
প্রকাশিত: (2009)

Data Flow Analysis and Testing of Abstract State Machines
অনুযায়ী: Cavarra, A
প্রকাশিত: (2008)

Activated sludge models : ASM1, ASM2, ASM2d and ASM3 /
অনুযায়ী: Henze, Mogens, অন্যান্য
প্রকাশিত: (2000)

Checking Model Consistency Using Data−Flow Testing
অনুযায়ী: Wang, C, অন্যান্য
প্রকাশিত: (2009)

Checking Model Consistency using Data−Flow Testing
অনুযায়ী: Wang, C, অন্যান্য
প্রকাশিত: (2009)

ASME engineer's data book /
অনুযায়ী: Matthews, Clifford author 342179, অন্যান্য
প্রকাশিত: (2005)

ASM handbook.
অনুযায়ী: Dossett, Jon L., editor, অন্যান্য
প্রকাশিত: (2013)

ASM handbook
অনুযায়ী: Tucker, Robert C editor, অন্যান্য
প্রকাশিত: (2013)

ASM handbook /
অনুযায়ী: ASM Handbook Committee, অন্যান্য
প্রকাশিত: (1986)

ASM Affairs
প্রকাশিত: (2022-01-01)

ASM Affairs
প্রকাশিত: (2021-01-01)

ASM Awards
প্রকাশিত: (2020-01-01)

Differences in the ASM model caused by data structure
অনুযায়ী: Kowalewski Zbigniew
প্রকাশিত: (2018-01-01)

Journal of heat transfer: transactions of the ASME transactions of the ASME, Series C
অনুযায়ী: American Society of Mechanical Engineers. Transactions of the ASME, Series C
প্রকাশিত: (1879)

ASME e-book
প্রকাশিত: (2011)

Transactions of the ASME [mikrofilem]
অনুযায়ী: American Society of Mechanical Engineers
প্রকাশিত: (1880)

ASM Pacific Technology Limited
অনুযায়ী: Tang, Hung Kei
প্রকাশিত: (2013)

ASM metals reference book /
অনুযায়ী: Bauccio, Michael, অন্যান্য
প্রকাশিত: (1993)

ASME VIII: PRESSURE VESSELS
প্রকাশিত: (1986)

ASM2023 Perth conference
অনুযায়ী: Charlene Kahler
প্রকাশিত: (2023-01-01)

ASM2021: event report
অনুযায়ী: Karena Waller
প্রকাশিত: (2021-01-01)

IEEE/ASME transactions on mechatronics : a joint publication of the IEEE Industrial Electronics Society and the ASME Dynamic

Experimental validation of ASME strain-based seismic assessment methods using piping elbow test data
অনুযায়ী: Jong-Min Lee, অন্যান্য
প্রকাশিত: (2023-05-01)

Pressure vessels: the ASME code simplified/
অনুযায়ী: 245278 Chuse, Robert, অন্যান্য
প্রকাশিত: (1993)

ASM handbook: alloy phase diagrams /
অনুযায়ী: ASM Handbook Committee, অন্যান্য
প্রকাশিত: (1992)

Pressure vessels : the ASME code simplified/
অনুযায়ী: 245278 Chuse, Robert
প্রকাশিত: (1984)

ASME boiler and pressure vessel code
অনুযায়ী: 11585 American National Standards Institute

Pressure vessels : the ASME code simplified /
অনুযায়ী: Ellenberger, J. Phillip 267629, অন্যান্য
প্রকাশিত: (2004)

ASM2022 Sydney conference review
অনুযায়ী: Martina Sanderson-Smith, অন্যান্য
প্রকাশিত: (2022-01-01)

Numerical Simulation and Experimental Test on the Burst Pressure of ASME A106 Steel Pipe
অনুযায়ী: Akram Ali, অন্যান্য
প্রকাশিত: (2018-01-01)

A New Design for the ASM General Meeting
অনুযায়ী: Jeff F. Miller, অন্যান্য
প্রকাশিত: (2010-12-01)

Applying the ASME codes : plant piping and pressure /
অনুযায়ী: 171165 Wingate, James A.
প্রকাশিত: (2007)

Heterogeneous multi-population competitive algorithm and its application in ASM1 parameter estimation
অনুযায়ী: Xianjun Du, অন্যান্য
প্রকাশিত: (2022-11-01)