共 50 条
- [2] A conceptual framework for component context specification and representation in a metaCASE environment Software Quality Journal, 2009, 17 : 151 - 175
- [3] Mutation analysis in the context of reactive system specification and validation SOFTWARE QUALITY MANAGEMENT V: THE QUALITY CHALLENGE, 1997, : 247 - 258
- [4] Specification and analysis of system level inter-component communication FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 192 - 201
- [6] Operads for complex system design specification, analysis and synthesis PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2021, 477 (2250):
- [9] Component-based Specification for Multi-Processor System-on-Chip Design MELECON 2010: THE 15TH IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, 2010, : 1044 - 1049