Software safety and security : tools for analysis and verification /
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Elektronik Konferans Sunumu Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Washington, D.C. :
IOS Press,
2012.
|
| Seri Bilgileri: | NATO science for peace and security series. Information and communication security ;
v. 33. |
| Konular: | |
| Online Erişim: | https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/283317 OPAC'ta görüntüle |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller: Software safety and security :
- Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- New trends in software methodologies, tools and techniques : proceedings of the fifteenth somet_16 /
- A process for developing a common vocabulary in the information security area
- New trends in intelligent software methodologies, tools and techniques : proceedings of the 17th International Conference SoMeT_18. /
- New trends in intelligent software methodologies, tools and techniques : proceedings of the 16th International Conference SoMeT_17 /
- Safety management for software-based equipment /