Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

WS-Security

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných
 (Peter Kovalič)

2016, Bakalářská práce, Vysoké učení technické v Brně

• http://theses.cz/id//gqde5g// | Informační technologie / | Theses on a related topic

List of theses with an identical keyword.

Modelování stateflow diagramů pro účely verifikace
 (Pavla Kratochvílová)

2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/r1zte/ | Informatika / Matematická informatika | Theses on a related topic

Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
 (Tomáš AUSBERGER)

2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | Theses on a related topic

Digitální podpis ve webovém prohlížeči
 (Jiří Harazim)

2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/um5if/ | Aplikovaná informatika / | Theses on a related topic

Specifikace "Web Services Security"
 (Jan Urban)

2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/rjf1a/ | Informatika / | Theses on a related topic

Specifikace "Web Services Security"
 (Jan Urban)

2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/rjf1a/ | Informatika / | Theses on a related topic