연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (9건)


On Time-Sensitive Control Closure for Secure Information Flow
키워드: #algorithm #security #leakage #leaked #validates
파트: Software Development | 연도: 2025
Enhancing IoT Edge Platforms: Selecting an MQTT-Compatible Broker for Kubernetes Environments
키워드: #research #insights #interviews #experimental #evaluation
파트: Software Development | 연도: 2025
Gaps in Software Testing Education: A Survey of Academic Courses in Sweden
키워드: #2023 #software #universities #final #swedish
파트: Verification | 연도: 2025
Ethical challenges and software test automation
키워드: #researchers #automation #ethics #experts #software
파트: Verification | 연도: 2025
An Overview of Cloud-Based Services for Smart Production Plants
키워드: #technologies #computing #integration #manufacturers #manufacturing
파트: Software Development | 연도: 2024
Service Realizability Check as a Technique to Support a Service Security Assurance Case
키워드: #security #computing #party #negotiated #negotiates
파트: Verification | 연도: 2020