共 50 条
- [1] System specification based network modeling for survivability testing simulation INFORMATION SECURITY AND CRYPTOLOGY - ICISC 2002, 2002, 2587 : 90 - 106
- [2] A case study in simulation-based system specification and design SIMULATION AND MODELLING: ENABLERS FOR A BETTER QUALITY OF LIFE, 2000, : 232 - 238
- [3] Specification and simulation of ALICE DAQ system PROCEEDINGS OF THE SIXTH WORKSHOP ON ELECTRONICS FOR LHC EXPERIMENTS, 2000, 2000 (10): : 419 - 423
- [4] Formal Specification and Simulation of the Robot Perceptual System NOVEL ALGORITHMS AND TECHNIQUES IN TELECOMMUNICATIONS, AUTOMATION AND INDUSTRIAL ELECTRONICS, 2008, : 140 - +
- [5] Specification and simulation of the ALICE tigger and DAQ system PROCEEDINGS OF CHEP 2001, 2001, : 636 - 639
- [6] DISCRETE EVENT SYSTEM SPECIFICATION MODELING AND SIMULATION 2018 WINTER SIMULATION CONFERENCE (WSC), 2018, : 162 - 176
- [8] ARCHITECTURE FOR INTEGRATED DEVELOPMENT OF COMPLEX SYSTEMS WITH MODEL-BASED SYSTEM SPECIFICATION AND SIMULATION INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2015, VOL 1B, 2016,
- [9] Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips 2009 JOINT IEEE NORTH-EAST WORKSHOP ON CIRCUITS AND SYSTEMS AND TAISA CONFERENCE, 2009, : 360 - +