共 50 条
- [21] Use case driven integration of TMN interface specification and application design NOMS '96 - 1996 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS. 1-4, 1996, : 434 - 443
- [23] Use of formal specification and design language for protocol description -: Field report FIELDBUS TECHNOLOGY: SYSTEMS INTEGRATION, NETWORKING, AND ENGINEERING, 1999, : 146 - 151
- [24] Specification-Oriented Automatic Design of Topologically Agnostic Antenna Structure COMPUTATIONAL SCIENCE, ICCS 2024, PT III, 2024, 14834 : 11 - 18
- [27] USE OF CONSTRAINTS IN THE EARLY STAGES OF DESIGN PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 11): IMPACTING SOCIETY THROUGH ENGINEERING DESIGN, VOL 9: DESIGN METHODS AND TOOLS, PT 1, 2011, 9
- [28] SoC Connectivity Specification Extraction using Incomplete RTL Design: An Approach for Formal Connectivity Verification PROCEEDINGS OF 2016 11TH INTERNATIONAL DESIGN & TEST SYMPOSIUM (IDT), 2016, : 110 - 114
- [30] The use of object-oriented Petri nets in design specification of enterprise modelling PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 2191 - 2195